[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: |
Daniele Nicolodi |
Subject: |
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] |
Date: |
Sat, 8 May 2021 09:51:12 +0200 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0) Gecko/20100101 Thunderbird/78.10.0 |
On 08/05/2021 08:19, Eli Zaretskii wrote:
> On the implementation side, I'm not sure I understand how do you
> intend to implement these values: 110% of what? Line spacing is
> eventually a pixel value; you can, of course, compute it in percents
> of the font size, but then the nominal spacing will not have the 100%
> or 1.0 value, right? So how do you intend to convert the value in the
> menu into the actual line-spacing value?
The documentation for the line-spacing variable says:
Documentation:
Additional space to put between lines when displaying a buffer. The
space is measured in pixels, and put below lines on graphic displays,
see ‘display-graphic-p’.
If value is a floating point number, it specifies the spacing relative
to the default frame line height. A value of nil means add no extra space.
I think the values in the menu would simply be divided by 100.
Cheers,
Dan
- 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/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, 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 <=
- 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