[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 09:52:28 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0

On 03/09/2018 12:30 AM, Eli Zaretskii wrote:
I don't think that approach is appropriate for
code indentation, because leading whitespace in code blocks_must_
always align, IMO.

I don't quite follow this objection, since the prototype does align leading whitespace in code blocks. That is, in any particular block of code consisting of lines prefaced by equivalent white space, the approach displays the block with equally-indented lines, so the leading whitespace does align.

If the objection is that different blocks of code are indented differently (e.g., an if-part might be indented slightly differently from the corresponding then-part), then I agree that might irritate some users. However, the irritation is quite small to me, and I imagine it wouldn't bother other users much either, in the sense that they'll be willing to put up with this minor irritation in order to get the benefits that the algorithm has elsewhere. So it still sounds like a reasonable thing to support, if a user wants to use it.

Of course other display algorithms are possible, but I haven't seen any other improvement proposed for variable-pitch fonts that is nearly as simple and easy to understand. Simplicity is a virtue here.

reply via email to

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