[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Proportional fonts in the mode line (one month test)
From: |
Lars Ingebrigtsen |
Subject: |
Re: Proportional fonts in the mode line (one month test) |
Date: |
Thu, 25 Nov 2021 14:33:14 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Protesilaos Stavrou <info@protesilaos.com> writes:
> Can this and every other use of 'variable-pitch' that is being discussed
> in recent threads be made optional?
Just set `variable-pitch' to `fixed-pitch' if you don't want anything to
be proportional.
> My point is on the visual aspects of how things look, as I consider
> consistency a matter of aesthetics (things look prettier to me when they
> have no inconsistencies).
Yes, making the font mixes be more consistent across all platforms is a
challenge. But it seems to work pretty well out of the box on a large
number of systems. The main challenge seems to be that people have
already customised their variable-pitch fonts manually, probably because
we don't currently mix fonts a lot.
> My opinion is that every use of variable-pitch for the mode-line,
> header-line, headings, Help buffers, Info breadcrumbs, etc. should be
> optional. Whether opt-in or opt-out is not a major issue.
Yes, of course. All these things are defined via faces, and users can
customise the faces as they wish.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Proportional fonts in the mode line (one month test), (continued)
Re: Proportional fonts in the mode line (one month test), Lars Ingebrigtsen, 2021/11/25
Re: Proportional fonts in the mode line (one month test), Protesilaos Stavrou, 2021/11/25
Re: Proportional fonts in the mode line (one month test), Simen Heggestøyl, 2021/11/25
Re: Proportional fonts in the mode line (one month test), Michael Welsh Duggan, 2021/11/29