[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 22:18:37 +0200 |
> Date: Tue, 6 Mar 2018 09:55:16 -0800
> From: address@hidden
> Cc: "Daniel Colascione" <address@hidden>,
> address@hidden,
> address@hidden,
> address@hidden
>
> > You mean, save it to a disk file? I think we should insert the number
> > of blanks to align stuff with fixed-pitch font, so that it looks well
> > with those fonts. If we want to preserve the display properties
> > across sessions, we could use enriched-text-mode, I think.
>
> I don't think there's any clean way to embed this alignment information in
> arbitrary program text though.
No, it would be necessary to reconstruct it. But any solution that
uses text properties will have the same problem. And I don't quite
see how we can align text rendered with variable-pitch font without
something like that.
- Re: Variable-width font indentation, (continued)
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/07
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/08
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/08
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Daniel Colascione, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, dancol, 2018/03/06
- Re: Variable-width font indentation,
Eli Zaretskii <=
- Re: Variable-width font indentation, Daniel Colascione, 2018/03/06
- Re: Variable-width font indentation, Sam Steingold, 2018/03/06
- Re: Variable-width font indentation, Ricardo Wurmus, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/07
- Re: Variable-width font indentation, Daniel Colascione, 2018/03/07
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/07
- Re: Variable-width font indentation, Richard Stallman, 2018/03/07
- Re: Variable-width font indentation, Robert Pluim, 2018/03/08
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/08
- Re: Variable-width font indentation, Robert Pluim, 2018/03/08