[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: |
martin rudalics |
Subject: |
bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text |
Date: |
Mon, 15 Aug 2016 10:28:12 +0200 |
> I'm not sure we want to change window-min-size. That function is used
> for purposes that have nothing to do with splitting the window. E.g.,
> we also use its value when deciding whether a window can be resized,
> when fitting window to buffer, etc.
>
> The lowest level function for splitting windows is split-window, so
> the change should IMO be either in split-window-right or in
> split-window. Martin, WDYT?
This wouldnn't help much because as soon as a user has two side-by-side
windows she might want to drag the divider between those windows and
complain that it doesn't move. We can install the attached hack in
Emacs 25.1 and leave this subject alone until someone has a better
solution.
martin
min-margins.diff
Description: Text document
- 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, 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, 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 <=
- 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
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/15
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, martin rudalics, 2016/08/16
- bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/16
- 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/14
bug#24193: 25.1; `window-min-size' fails for horizontal width when margins >= body text, Eli Zaretskii, 2016/08/09