[Top][All Lists]

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

Re: Variable-width font indentation

From: Eli Zaretskii
Subject: Re: Variable-width font indentation
Date: Sat, 10 Mar 2018 22:00:46 +0200

> From: James Cloos <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden
> Date: Sat, 10 Mar 2018 14:48:33 -0500
> >>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
> EZ> Or maybe I misunderstand what you mean by "fixed width".  You did mean
> EZ> fixed width in pixels, yes?  If not, then what did you mean?
> Yes.  By fixed-width I mean the font the buffer would use were variable-
> pitch-mode not in effect.

Then I really don't understand why you think it's a good start.  I
think it's a step in the wrong direction, because it will make things
worse than they are now: what we have now makes sure the initial
whitespace changes in sync on all lines of the buffer, so that the
first non-whitespace characters on each line stay aligned.

reply via email to

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