[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: |
Sat, 27 Nov 2021 08:12:48 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> You mean, add space inside of a word? That could at first be avoided,
> because doing that isn't trivial.
Not trivial in what way?
> I'm not sure min-width is the right implementation for that, because
> we don't really want to put a separate property on each character.
> This should probably be implemented by tweaking the advance width the
> glyphs or something.
That'd probably be more efficient, but some cursory testing seems to
indicate that putting a min-width on every char in a pretty big buffer
works fine.
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> And whole-pixels are probably too coarse a granularity for that in most
> cases (especially with non-HiDPI screens).
It depends on the resolution. Here's the same sentence without and with
a min-width on each char that's one pixel wider than the natural width:
Looks fine here, but this is a 320PPI display. For low resolutions,
doing this sort of thing is probably not recommended.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Variable pitch text filling, Lars Ingebrigtsen, 2021/11/26
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/26
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/26
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/26
- Re: Variable pitch text filling, Stefan Monnier, 2021/11/26
- Re: Variable pitch text filling,
Lars Ingebrigtsen <=
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/27
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/29
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/29