[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: set-frame-size should respect line-spacing!?
From: |
Eli Zaretskii |
Subject: |
Re: set-frame-size should respect line-spacing!? |
Date: |
Mon, 14 Oct 2019 11:06:47 +0300 |
> Cc: address@hidden, address@hidden
> From: martin rudalics <address@hidden>
> Date: Sun, 13 Oct 2019 19:06:52 +0200
>
> > 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".
I very much doubt that, since less than 4 lines in a window is hardly
useful.
> Also note that often the buffer to be shown in the new window, for
> example via 'pop-to-buffer', is unknown to 'split-window'.
In that case, let us behave as we do currently.
> I'm not against a fix for Bug#14825. But doing it in a clean and
> consistent way will be pretty hard.
I'm not going to lament its not being solved; it was you who brought
it into this discussion. I suggest to proceed with the original
discussion disregarding that bug for now.
- Re: set-frame-size should respect line-spacing!?, (continued)
- 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, 2019/10/13
- Re: set-frame-size should respect line-spacing!?,
Eli Zaretskii <=