[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: |
Mon, 29 Nov 2021 15:09:19 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> It is also unnecessary, because having 2 pixels to the right of each
> character is practically indistinguishable from having one pixel on
> the left and 1 pixel on the right: you still end up with 2 pixels
> between any two characters.
The difference is with the characters above and below. When doing a
monospaced "grid" display, the Roman characters will form a reliable
grid while the CJK will be put to the left in their allotted space.
Having them in the middle of that space might be more pleasing, but
again, I think we need some input from CJK users here to see what they
expect.
And we could perhaps leave this as an option to be specified by the user
(somehow). I.e., flush left, flush right and middle. But perhaps this
is over-engineering again.
--
(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, 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
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- 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 <=
- 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
- Re: Variable pitch text filling, Lars Ingebrigtsen, 2021/11/29
- Re: Variable pitch text filling, Yuan Fu, 2021/11/29
- Re: Variable pitch text filling, Eli Zaretskii, 2021/11/29
- Re: Variable pitch text filling, Yuan Fu, 2021/11/29
- Re: Variable pitch text filling, Yuan Fu, 2021/11/26
Re: Variable pitch text filling, Ihor Radchenko, 2021/11/26