Re: Variable pitch text filling

[Lars Ingebrigtsen <larsi@gnus.org>]

Eli Zaretskii <eliz@gnu.org> writes:

>> > So what are the requirements for the replacement feature here?
>> 
>> I think it's basically to be able to specify the widths that the `space'
>> display ting takes -- pixels and "normal characters" (and the latter
>> should be extended to the "normal character" of the face, as you pointed
>> out).
>> 
>> But the wrinkle is that these spaces should only be used if the
>> character is narrower than the space we computed.
>> 
>> In addition, there should be a way to specify that the space should be
>> an integer multiple of the "normal character" width.
>
> Is this per character or per string?

I was describing the char-spacing thing, not the min-width thing.  :-/
So, per character.

> And what happened to the "recursive" part of what you described
> earlier -- is that no longer needed?

If we implement the char-spacing thing as above, then we don't need to
touch the min-width thing, yes.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no