[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: |
Fri, 03 Dec 2021 16:41:35 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> This is one of the "TIL" situations each one of us has with Emacs from
> time to time. It means my thinking about adding character spacing was
> based on wrong assumptions, and the only way to do that is to add
> stretch glyphs (which can be done only between words).
Why can stretch glyphs only be added between words? Is it because we
ask the font backend to draw a series of glyphs in one go?
If that's the case, perhaps we could stop doing that if we're doing a
gridded display?
One other thing that occurred to me (but I didn't look at closely) is
whether it would be feasible to work on the glyph matrix for a line
after it's been composed. I remember you doing some work on that when
we talked about "compressing the mode line" -- I think you basically
went over the matrix and removed some of the space glyphs? (That
approach didn't work for other reasons, but the basic post processing
thing did work, I think?)
Do we have enough info about the glyphs at that stage that we could add
some stretch glyphs to gridify the line?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Variable pitch text filling, (continued)
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Feng Shu, 2021/12/03
- Re: Variable pitch text filling,
Lars Ingebrigtsen <=
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/03
- Re: Variable pitch text filling, Po Lu, 2021/12/03
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04
- Re: Variable pitch text filling, Eli Zaretskii, 2021/12/04
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/12/04
Re: Variable pitch text filling, chad, 2021/12/01