[Top][All Lists]

[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:

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]