[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24193: 25.1; `window-min-size' fails for horizontal width when margi
From: |
Paul Rankin |
Subject: |
bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text |
Date: |
Tue, 09 Aug 2016 20:01:59 +1000 |
martin rudalics <rudalics@gmx.at> on Tue, 09 Aug 2016 11:49 +0200:
> Correct. The Elisp manual states
>
> [...]
>
> If you want to make a smaller window you have to explicitly specify
> its size:
>
> (defun split-window-right-ignore (&optional size) (interactive)
> (split-window-
> right (or size (/ (window-total-width) 2))))
>
> (define-key ctl-x-map "3" 'split-window-right-ignore)
The bug is not necessarily with `window-min-size' rather with the on-
flow effect it has on C-x 3 `split-window-right', which needs to work
reliably for users without resorting to writing elisp.
This is already having real-life negative effects. See
https://github.com/rnkn/olivetti/issues/12
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Paul Rankin, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, martin rudalics, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text,
Paul Rankin <=
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, martin rudalics, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Paul Rankin, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Paul Rankin, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/09
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Paul Rankin, 2016/08/14
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/14
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, martin rudalics, 2016/08/15
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Paul Rankin, 2016/08/15
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, martin rudalics, 2016/08/16