|
| From: | Stefan Kangas |
| Subject: | Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] |
| Date: | Wed, 5 May 2021 14:16:55 -0500 |
Richard Stallman <rms@gnu.org> writes: > 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. Adding it to the "Options" menu, perhaps? Maybe that could be a good idea whether or not we change anything else?
| [Prev in Thread] | Current Thread | [Next in Thread] |