help-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Kill all proportional fonts!


From: Colin Baxter 😺
Subject: Re: Kill all proportional fonts!
Date: Tue, 28 Dec 2021 07:32:14 +0000
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)

>>>>> Kévin Le Gouguec <kevin.legouguec@gmail.com> writes:

    > Colin Baxter 😺 <m43cap@yandex.com> writes:
    >> But I want a permanent global solution. Is there any emacs-init
    >> setting I can use to banish proportional fonts totally from emacs
    >> - preferably forever.

    > The Modus themes provide a straightforward boolean user option
    > (modus-themes-variable-pitch-ui) to opt in to proportional fonts;
    > FWIW, I think it would make sense for Emacs to provide similar
    > user options (e.g. ui-use-variable-pitch, shr-use-variable-pitch,
    > outline-use-variable-pitch).

    > IMO it would be more user-friendly and robust than advising users
    > to tweak face attributes themselves.  Consider the snippet we put
    > in NEWS during last month's mode-line experiment:

    >> (set-face-attribute 'mode-line nil :inherit 'default)

    > This puts the onus on the user to check future releases to make
    > sure the mode-line face is not supposed to inherit from other
    > elements beside variable-pitch.  Conversely, Modus-style booleans
    > mean the user can rest easy assuming Emacs will DTRT.

I agree. I personally don't like having to alter my ~/.emacs just to stay the
same. I think it should be the other way round - but what do I know?

Best wishes,

Colin Baxter.



reply via email to

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