[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: |
Sun, 13 Oct 2019 15:18:43 +0300 |
> Cc: address@hidden, address@hidden
> From: martin rudalics <address@hidden>
> Date: Sun, 13 Oct 2019 14:15:50 +0200
>
> >> So you mean that OT1H we should handle the case where 'split-window'
> >> tells us that the window is too small and OTOH not handle the case
> >> where 'window-resize' says that it cannot resize the window?
> >
> > No, I'm saying that we should handle the case with split-window
> > without affecting set-frame-size in general.
>
> Sorry for my insistence but 'window-resize' has nothing to do with the
> frame size.
But this discussion was about set-frame-size, at least that's what I
thought.
> My concerns are that we call 'window--size-to-pixel' when
> we resize or split a window. So if we want to special-code the split
> window case and _not_ the 'window-resize' case, I have to either
> special-code 'window--size-to-pixel' too or call some other function
> instead.
What is the window-resize case?
- Re: set-frame-size should respect line-spacing!?, (continued)
- 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, 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 <=
- 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