|
From: | Paul Eggert |
Subject: | Re: Variable-width font indentation |
Date: | Fri, 9 Mar 2018 13:55:14 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
Eli Zaretskii wrote:
I've tried it and it flies for me, and it doesn't appear that I'm alone in this opinion.I'm not alone in my opinion, either.
I've heard other opinions that the approach is not to their taste. But I haven't heard anyone else say that the approach should not be available, even as a user option.
[Prev in Thread] | Current Thread | [Next in Thread] |