[Top][All Lists]

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

Re: Variable-width font indentation

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.

reply via email to

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