[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable-width font indentation
From: |
Richard Stallman |
Subject: |
Re: Variable-width font indentation |
Date: |
Tue, 06 Mar 2018 15:52:36 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
I don't see a reason to use variable-width fonts
except when they provide an improvement. For ASCII art,
a fixed-width font is best.
I don't see a reason to use variable-width fonts for code, but if
people like that, I'm in favor of supporting it.
The place where variable-width fonts, and multiple fonts of different
width, are really important is for editing documents with formatted
text.
--
Dr Richard Stallman
President, Free Software Foundation (https://gnu.org, https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
Skype: No way! See https://stallman.org/skype.html.
- Re: Variable-width font indentation, (continued)
- 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
- Re: Variable-width font indentation,
Richard Stallman <=
- Re: Variable-width font indentation, Herring, Davis, 2018/03/05
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Herring, Davis, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/06
- Re: Variable-width font indentation, Paul Eggert, 2018/03/06
- Re: Variable-width font indentation, Clément Pit-Claudel, 2018/03/06
- Re: Variable-width font indentation, Eli Zaretskii, 2018/03/07