[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tick Reduction
From: |
Lars Ingebrigtsen |
Subject: |
Re: Tick Reduction |
Date: |
Sat, 20 Nov 2021 10:07:59 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> The problem is how to select the appropriate "x character" to use as
> the unit of width. Different fonts will have different characters
> suitable for this role, so how to have a default spec that will DTRT
> with whatever fonts are selected on different platforms for the
> relevant faces?
I don't think that's an insurmountable task, and we could leave it as a
customisation option for the times we guess wrong. In practice, in the
mode line the problem is that a - character typically takes less space
than the rest of the characters, and using just about any "normal"
letter as the model character will fix the issue.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Tick Reduction, (continued)
- Re: Tick Reduction, Perry E. Metzger, 2021/11/18
- Re: Tick Reduction, Dmitry Gutov, 2021/11/18
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/19
- Re: Tick Reduction, Michael Welsh Duggan, 2021/11/19
- Re: Tick Reduction, Stefan Kangas, 2021/11/19
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/19
- Re: Tick Reduction, Eli Zaretskii, 2021/11/19
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/19
- Re: Tick Reduction, Eli Zaretskii, 2021/11/20
- Re: Tick Reduction,
Lars Ingebrigtsen <=
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Eli Zaretskii, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Eli Zaretskii, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Eli Zaretskii, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Eli Zaretskii, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21