[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Variable pitch text filling

From: Lars Ingebrigtsen
Subject: Re: Variable pitch text filling
Date: Wed, 01 Dec 2021 18:02:08 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]