[Top][All Lists]

[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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]