[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
James Cloos |
Subject: |
Re: Variable-width font indentation |
Date: |
Sat, 10 Mar 2018 17:18:12 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.91 (gnu/linux) |
>>>>> "EZ" == Eli Zaretskii <address@hidden> writes:
EZ> Then I really don't understand why you think it's a good start. I
EZ> think it's a step in the wrong direction, because it will make things
EZ> worse than they are now: what we have now makes sure the initial
EZ> whitespace changes in sync on all lines of the buffer, so that the
EZ> first non-whitespace characters on each line stay aligned.
I have not re-compiled in a while, nor did I read the whole thread.
Perhaps things have progressed since the version I currently have.
Consistent and not-too-small indenting is important. Basing indents on
the width of the fixed pitch space and tab stops on a multiple of that
would help, compared to what the version I have does.
-JimC
--
James Cloos <address@hidden> OpenPGP: 0x997A9F17ED7DAEA6
- Re: Variable-width font indentation, (continued)
- 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, 2018/03/10
- Re: Variable-width font indentation,
James Cloos <=
- 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
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/10