[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: |
Tue, 06 Mar 2018 19:43:24 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Tue, 06 Mar 2018 11:04:41 -0500
>
> > > This has come up several times, and I think I asked at least once what
> > > does it need to entail.
> > It means, for one thing, that M-q can fill text with a smooth
> > right margin.
> > Has that been implemented yet?
>
> AFAIK `shr` does that, yes.
No, AFAIK it doesn't. What it does is modify the fill algorithm to
measure the actual width of text, without assuming fixed-pitch font.
But it doesn't produce smooth right margin by inserting stretch
glyphs.
- Re: Variable-width font indentation, (continued)
- 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
- 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 <=
- 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
- Re: Variable-width font indentation (was: What improvements would be truly useful?), Richard Stallman, 2018/03/06
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/05
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/05
- Re: What improvements would be truly useful?, Daniele Nicolodi, 2018/03/06
- Re: What improvements would be truly useful?, Eli Zaretskii, 2018/03/06