[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: set-frame-size should respect line-spacing!?
From: |
martin rudalics |
Subject: |
Re: set-frame-size should respect line-spacing!? |
Date: |
Sat, 12 Oct 2019 13:03:31 +0200 |
> A buffer can specify, in addition to line-spacing, other display
> features that will affect the metrics of its lines. The simplest
> example is the face of the text to display, which can include the
> font.
'window-default-line-height' hopefully handles that already.
> It could even do this extremely subtly, by displaying text that
> belongs to a script whose font is higher or lower than the default
> face's font. In all of these cases, the original number of text lines
> will be inaccurate for some buffers shown in the same window on the
> same frame.
>
> So I don't think I understand why we need to support these specialized
> use cases.
We still have to decide how to proceed with Bug#14825.
martin
- set-frame-size should respect line-spacing!?, Ingo Lohmar, 2019/10/11
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/12
- Re: set-frame-size should respect line-spacing!?, Ingo Lohmar, 2019/10/12
- Re: set-frame-size should respect line-spacing!?, martin rudalics, 2019/10/12
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/12
- Re: set-frame-size should respect line-spacing!?, Ingo Lohmar, 2019/10/12
- Re: set-frame-size should respect line-spacing!?,
martin rudalics <=
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/12
- Re: set-frame-size should respect line-spacing!?, martin rudalics, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, martin rudalics, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, martin rudalics, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, martin rudalics, 2019/10/13
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/14