[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: |
Eli Zaretskii |
Subject: |
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] |
Date: |
Fri, 07 May 2021 07:03:18 +0300 |
> From: Stefan Kangas <stefan@marxist.se>
> Date: Thu, 6 May 2021 15:21:27 -0500
> Cc: emacs-devel@gnu.org
>
> > Adding it to the "Options" menu, perhaps?
> >
> > Maybe that could be a good idea whether or not we change anything else?
>
> I'm looking into adding this to the options menu, but would we want to
> do this for the current buffer, globally, or both?
>
> My current thinking is that a user might want both, but this would make
> the menu too messy. So perhaps we can get away with only supporting a
> global setting from the menu. That should be the most common use-case,
> and if a user needs even more customization they will have to do it
> "manually".
IMO, we should provide both local and global settings. But if we
provide only one, it should be the local one, because a global one
makes much less sense: there are buffers I can think about where
line-spacing would be an annoyance.
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, 2021/05/05
- 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 <=
- 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