[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: |
Sun, 13 Oct 2019 19:06:52 +0200 |
>> That of how it should handle line spacing and face remapping when
>> resizing a window. For example, how should we relate the desired
>> height of a window to the value of 'window-min-height' when these are
>> in effect?
>
> I think the only case where the issues raised by bug#14825 should
> matter is when we decide whether a window is too small. E.g., what
> bad things will happen if we interpret window-min-height in terms of
> the default face's font set for the buffer shown (or to be shown) in
> the window?
Such an interpretation would cut both ways. Think of people that use
'line-spacing' for ages or have remapped the default face font to
something higher. They would be surprised that C-x 2 all of a sudden
complains that their window is "too small for splitting".
Also note that often the buffer to be shown in the new window, for
example via 'pop-to-buffer', is unknown to 'split-window'.
I'm not against a fix for Bug#14825. But doing it in a clean and
consistent way will be pretty hard. Look at how often 'split-window'
calls 'window-sizable-p'. All these calls would have to be rewritten
in some way or the other.
martin
- Re: set-frame-size should respect line-spacing!?, (continued)
- 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!?, 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 <=
- Re: set-frame-size should respect line-spacing!?, Eli Zaretskii, 2019/10/14