|
From: | Manuel Uberti |
Subject: | Re: Proportional fonts in the mode line (one month test) |
Date: | Wed, 24 Nov 2021 15:44:07 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |