[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#55169: Can't combine window-min-height with window-height
From: |
martin rudalics |
Subject: |
bug#55169: Can't combine window-min-height with window-height |
Date: |
Tue, 3 May 2022 11:21:26 +0200 |
>> BTW I do not understand well in which sense your original scenario
>>
>> (pop-to-buffer (generate-new-buffer "*edit string*")
>> '(display-buffer-below-selected
>> (window-min-height . 10)
>> (window-height . fit-window-to-buffer)))
>>
>> fails. Do you mean that the window should be at least ten lines high
>> despite of the fact that it's fit to an empty buffer?
>
> Exactly. I expected that window-min-height takes precedence over
window-height.
We could do something like the untested attached .diff. But we really
should install it only if at least two or three people confirm that it's
the expected behavior.
Note: ‘shrink-window-if-larger-than-buffer’ does not re-enlarge a window
that already shows the buffer if its height is less than the specified
'window-min-height'.
martin
window--display-buffer.diff
Description: Text Data
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/01
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/02
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/02
- bug#55169: Can't combine window-min-height with window-height,
martin rudalics <=
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/03
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/04
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/04
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/05
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/05
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/05
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/05
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/06
- bug#55169: Can't combine window-min-height with window-height, Juri Linkov, 2022/05/06
- bug#55169: Can't combine window-min-height with window-height, martin rudalics, 2022/05/06