[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
Stefan Monnier |
Subject: |
Re: Variable-width font indentation |
Date: |
Wed, 07 Mar 2018 23:50:45 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
>> 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*.
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.
Stefan
- Re: Variable-width font indentation, (continued)
- 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
- Re: Variable-width font indentation,
Stefan Monnier <=
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/08
- 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