[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: |
Stefan Kangas |
Subject: |
Re: Increase default `line-spacing' to 0.05, 0.10 or 0.15 [proposal] |
Date: |
Thu, 6 May 2021 15:21:48 -0500 |
Jim Porter <jporterbugs@gmail.com> writes:
> On 5/4/2021 9:12 AM, Óscar Fuentes wrote:
>> Stefan Kangas <stefan@marxist.se> writes:
>>
>>> The way I suggest we carry this out is an experiment on master for 30
>>> days, similarly to how we recently did with unbinding `M-o'. This would
>>> allow us to gather feedback and see how well this works in practice.
>>
>> FWIW, I just tried both 0.15 and 0.10 and IMO it improves readability.
Thanks for testing.
>> There are some negative consequences, though, like the "line" of
>> display-fill-column-indicator-mode losing any apparience of continuity.
Given how that mode is implemented, by setting
`display-fill-column-indicator' to ?\u2502, I don't see how it could be
improved without a complete redesign. It doesn't look like this was
implemented with `line-spacing' in mind.
> I'm not sure if there's an easy way to ensure the fill line looks
> continuous in this case, but if that could be improved, it would help in
> a few other areas even if line-spacing weren't increased. For example,
> with `org-prettify-entities' set to t, subscripts add a bit to the line
> height, causing the fill line to appear discontinuous. Likewise, I
> believe overlines add a bit to the line height too.
Do you have a recipe to reproduce this?
- 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], Gregory Heytings, 2021/05/06
- 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], Gregory Heytings, 2021/05/06
- 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], Gregory Heytings, 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], Eli Zaretskii, 2021/05/06
- 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 <=
- 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, 2021/05/05