[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 17:49:05 +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

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.

(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]