[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: Thu, 8 Mar 2018 14:03:21 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0

On 03/08/2018 05:44 AM, Eli Zaretskii wrote:
Yes, using variable-pitch fonts in code where indentation is important
has its disadvantages, and always will.  Any solution will have the
same issues, just under different use cases and situations.  That's
why this is not the main use case

Although it has disadvantages, it shouldn't be that hard to do it better than Emacs does it now (along the lines that Clément prototyped), and if Emacs had these improvements the benefits of variable-pitch fonts would outweigh the costs in many practical programming applications. Programming in variable-width fonts makes more-efficient use of valuable screen real estate, so it's worth doing when it works reasonably well, as it often would if Emacs supported it better.

reply via email to

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