|
From: | Paul Eggert |
Subject: | Re: Variable-width font indentation |
Date: | Fri, 9 Mar 2018 12:16:54 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 03/09/2018 10:35 AM, Eli Zaretskii wrote:
it bothers me a lot, to the degree that I don't think it could fly
I've tried it and it flies for me, and it doesn't appear that I'm alone in this opinion. Although it's not perfect, it's significantly better than what Emacs does now for variable-pitch fonts. So I'm in favor of having this feature available as a user option.
[Prev in Thread] | Current Thread | [Next in Thread] |