[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: |
Wed, 4 May 2022 09:54:11 +0200 |
> Do you think it's a too big change in behavior that might break some
> existing configs?
It introduces a certain inconsistency. So far, 'window-min-height' is
obeyed by 'display-buffer-below-selected' only. My patch would have
other clients obey it as well - but to a certain extent only. For
example, 'split-window-sensibly' will never care whether a window it
splits off can be made 'window-min-height' lines high. How would we
document that fact?
martin
- 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, 2022/05/03
- 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 <=
- 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
- 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/07