[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation (was: What improvements would be tru
From: |
Eli Zaretskii |
Subject: |
Re: Variable-width font indentation (was: What improvements would be truly useful?) |
Date: |
Mon, 05 Mar 2018 21:58:21 +0200 |
> Date: Mon, 5 Mar 2018 11:32:30 -0800
> From: address@hidden
> Cc: address@hidden,
> address@hidden,
> address@hidden,
> address@hidden,
> address@hidden
>
> Well, say you want to align the following code:
>
> 1: void foo(int a,
> 2: int b)
> 3: {
> 4: ...
>
> How is any generic indentation system supposed to know that the "i" on
> line 2 is supposed to line up with the "i" on line 1?
How does it know that today, when we only support well the fixed-pitch
fonts? Or are you talking about a different problem?
> You'd need to communicate all indentation intent to the generic
> system in the form of positions relative to some
> anchor. (Presumably, it could cache pixel offsets per-line.) While
> that's doable, it's a ton of work, and I don't think it's
> worthwhile.
Maybe I still misunderstand you, but the pixel position of a character
on display is trivial to obtain, and I see no reason why we'd need to
cache them. Again, the current fixed-pitch column-wise indentation
machinery doesn't, AFAIK.
- Re: What improvements would be truly useful?, (continued)
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Eli Zaretskii, 2018/03/05
- Re: Variable-width font indentation (was: What improvements would be truly useful?), dancol, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Dmitry Gutov, 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 (was: What improvements would be truly useful?),
Eli Zaretskii <=
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Daniel Colascione, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Paul Eggert, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/05
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06