[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tick Reduction
From: |
Lars Ingebrigtsen |
Subject: |
Re: Tick Reduction |
Date: |
Sun, 21 Nov 2021 20:26:36 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Stefan Kangas <stefankangas@gmail.com> writes:
> The Firefox way seems more in line with what you would see in a printed
> manual, and has the benefit that the monospace text stands out more
> clearly. I prefer it for that reason. However, it would also mean
> doing more work.
Well... it's not a lot more work. We just define a fixed-pitch face
that's 0.9 of the normal fixed-pitch face, and that'll hopefully be the
right thing in most cases. (And then use it in primarily-proportional
buffers.)
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Tick Reduction, (continued)
- Re: Tick Reduction, Stefan Kangas, 2021/11/19
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/20
- Re: Tick Reduction, Eli Zaretskii, 2021/11/20
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/20
- Re: Tick Reduction, Eli Zaretskii, 2021/11/20
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/20
- Re: Tick Reduction, Eli Zaretskii, 2021/11/20
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction,
Lars Ingebrigtsen <=
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Re: Tick Reduction, Stefan Kangas, 2021/11/21
- Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/21
- Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Lars Ingebrigtsen, 2021/11/23