Re: How can you indent in terms of a particular font's width?

[Ludovic Courtès]

Hi,

Mark Summerfield <address@hidden> writes:

>> Maybe by enclosing the concatenation character itself in address@hidden':
>>
>>   { The Font } @Font {
>>     { The Other Font } @Font { Left }
>>
>>     |4f
>>
>>     { The Other Font } @Font { Right }
>>   }
>>
>> (I haven't tried it, though.)
>
> Hmmm, doesn't look like it'd be that nice to use though.

Maybe slightly nicer with a definition like this:

  def @WithSpecialSpacing
      left  l
      named basefont { The Other Font }
      named spacingfont { The Font }
      right r
  {
    spacingfont @Font {
      basefont @Font l
      |4f
      spacefont @Font r
    }
  }

Well, maybe not.  ;-)

Ludovic.