[Top][All Lists]

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

Re: Variable pitch text filling

From: chad
Subject: Re: Variable pitch text filling
Date: Tue, 30 Nov 2021 21:39:42 -0800

On Tue, Nov 30, 2021 at 9:32 PM Eli Zaretskii <eliz@gnu.org> wrote:
[...] a display spec that would enlarge the pixel width of every character with that display property by some number of pixels.  The display spec can be called char-width.

I know that the two great problems are naming, cache invalidation, and off-by-one errors, but in case it helps: if I understand the concept correctly, it's very close to what typesetting calls "tracking".

Hope that helps,

reply via email to

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