|
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.
[Prev in Thread] | Current Thread | [Next in Thread] |