[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
Clément Pit-Claudel |
Subject: |
Re: Variable-width font indentation |
Date: |
Tue, 6 Mar 2018 14:59:21 -0500 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 |
On 2018-03-06 11:11, Eli Zaretskii wrote:
> I think I'm still missing something, because I don't understand why we
> need to invent/use a strategy different from what we do now in code
> indentation. [...] All the rest is already in place,
> right?
I think I know where the misunderstanding is coming from.
We're thinking of two unrelated things:
* Paul and I have been discussing an language-agnostic heuristic to preserve
alignment when changing from monospace to variable-pitch faces. This intends
to preserve the original indentation of the code, by inferring what it would
have been if the logic originally used to indent the document had been aware of
variable-pitch faces.
* You're describing a language-specific way to get a nice-looking
variable-pitch rendering of a document; your way is to reindent the document,
essentially.
Does this make sense?
- Re: Variable-width font indentation, (continued)
- Re: Variable-width font indentation, Richard Stallman, 2018/03/06
- Re: Variable-width font indentation, Herring, Davis, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Herring, Davis, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation,
Clément Pit-Claudel <=
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Paul Eggert, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/07
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/07
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/07
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/07
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/08
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/08
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/08