[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
Stephen Leake |
Subject: |
Re: Variable-width font indentation |
Date: |
Sat, 10 Mar 2018 01:42:55 -0600 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.0.90 (windows-nt) |
Eli Zaretskii <address@hidden> writes:
>> From: Paul Eggert <address@hidden>
>
>> Programming in variable-width fonts makes more-efficient use of valuable
>> screen real estate, so it's worth doing when it works reasonably well,
>> as it often would if Emacs supported it better.
>
> Agreed.
>
> Do people think adding a per-buffer space-width variable would be a
> good step in this direction? It should be easy to add, I think.
+1
--
-- Stephe
- Re: Variable-width font indentation, (continued)
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/07
- 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 <=
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Richard Stallman, 2018/03/05
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Stefan Monnier, 2018/03/06
- Re: Variable-width font indentation, Richard Stallman, 2018/03/06
- Re: Variable-width font indentation, Richard Stallman, 2018/03/06
- Re: Variable-width font indentation, Yuri Khan, 2018/03/07
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Eli Zaretskii, 2018/03/06