[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: |
Thu, 08 Mar 2018 15:44:43 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Wed, 07 Mar 2018 23:50:45 -0500
>
> >> In your world, concretely, what happens when I open xdisp.c and press M-x
> >> variable-pitch-mode? Does everything look misaligned until I M-x
> >> indent-region the whole file?
> > Yes. It isn't different from what happens when you change tab-width.
>
> It's different in one important way:
> - it's considered normal to impose that everyone who looks/edits this
> file needs to have tad-width set to a particular value (8,
> traditionally).
> - it's not considered normal to impose that everyone who looks/edits
> this file needs to use the same *font*.
The above doesn't force any particular font, just a fixed-pitch one, a
limitation we already have today. So we will be no worse.
> Also, you can easily circumvent the tag-width issue by not using TABs in
> your file, whereas it's hard to have a file whose appearance is not
> affected by the choice of font.
Yes, using variable-pitch fonts in code where indentation is important
has its disadvantages, and always will. Any solution will have the
same issues, just under different use cases and situations. That's
why this is not the main use case where we should support
variable-pitch fonts well, the main use case is in text-related modes,
where in many/most cases the indentation is rigid or changes
proportionally with the width of some canonical character.
- Re: Variable-width font indentation, (continued)
- 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
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/07
- Re: Variable-width font indentation,
Eli Zaretskii <=
- Re: Variable-width font indentation, Paul Eggert, 2018/03/08
- 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/09
- Re: Variable-width font alignment, Stephen Leake, 2018/03/10
- Re: Variable-width font alignment, Eli Zaretskii, 2018/03/10
- Re: Variable-width font alignment, Stephen Leake, 2018/03/10
- Re: Variable-width font alignment, Eli Zaretskii, 2018/03/10
- Re: Variable-width font indentation, Stephen Leake, 2018/03/10
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/06