[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.
- Re: Variable-width font indentation, (continued)
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/08
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/09
- Re: Variable-width font indentation, Paul Eggert, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/09
- Re: Variable-width font indentation, Paul Eggert, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/09
- Re: Variable-width font indentation, Paul Eggert, 2018/03/09
- Re: Variable-width font indentation, James Cloos, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/10
- Re: Variable-width font indentation, James Cloos, 2018/03/10
- Re: Variable-width font indentation,
Eli Zaretskii <=
- Re: Variable-width font indentation, James Cloos, 2018/03/10
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/10
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/09
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/10
- Re: Variable-width font indentation, Yuri Khan, 2018/03/09
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/10
- Re: Variable-width font indentation, Yuri Khan, 2018/03/10
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/10