emacs-devel
[Top][All Lists]
Advanced

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

Re: How to make Emacs popular again: Use monospaced fonts less


From: Stephen Berman
Subject: Re: How to make Emacs popular again: Use monospaced fonts less
Date: Mon, 12 Oct 2020 00:50:05 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux)

On Sun, 11 Oct 2020 18:23:36 -0400 Stefan Monnier <monnier@iro.umontreal.ca> 
wrote:

>> Could you try to make proced work with a variable pitch header-line?  I
>> tried and failed (bug#1779).
>
> Done.  The right-alignment is still fairly ugly, of course.

Thanks!

Steve Berman



reply via email to

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