[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal]
From: |
Richard Stallman |
Subject: |
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] |
Date: |
Wed, 05 May 2021 01:14:46 -0400 |
[[[ 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 think this change might be appreciated by most users, but perhaps we
should accompany it by an self-evident graphic UI for changing the
setting.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], (continued)
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Daniele Nicolodi, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Stefan Kangas, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Stefan Kangas, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Jim Porter, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Yuri Khan, 2021/05/07
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/07
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/04
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal],
Richard Stallman <=
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Stefan Kangas, 2021/05/05
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Stefan Kangas, 2021/05/06
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/07
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Stefan Kangas, 2021/05/07
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/08
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Daniele Nicolodi, 2021/05/08
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Eli Zaretskii, 2021/05/08
- Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Daniele Nicolodi, 2021/05/08
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal], Daniele Nicolodi, 2021/05/05