Re: Proportional fonts in the mode line (one month test)

[Manuel Uberti]

On 24/11/21 15:40, Eli Zaretskii wrote:
> > From: Lars Ingebrigtsen <larsi@gnus.org>
> > Date: Wed, 24 Nov 2021 14:53:03 +0100
> >
> > This is just a test: If everybody hates this default, we won't proceed,
> > but we won't know unless we test it.  So we're now testing this on the
> > trunk for a month.  Vote in a month.

FWIW, I am willing to give it a try.

I already did try something along those lines when I had set 
modus-themes-variable-pitch-ui to t some months ago, but also I went back to my 
default monospace font after a while.

--
Manuel Uberti
www.manueluberti.eu