[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38181: Actual height of mode-line not taken into account
From: |
martin rudalics |
Subject: |
bug#38181: Actual height of mode-line not taken into account |
Date: |
Sat, 16 Nov 2019 20:30:55 +0100 |
> However, if after
> calling display_mode_lines we detect that the height of the mode line
> changed, we schedule an immediate thorough redisplay.
... which, unfortunately, will not re-run ‘fit-window-to-buffer’ but
just use its earlier computed values. Theoretically, 'redisplay'
could check the 'preserve-size' parameter of each window and try to
preserve the text height when resizing the mode line. But I wouldn't
want to think of all the tricky details of such an approach.
martin
- bug#38181: Actual height of mode-line not taken into account, (continued)
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/16
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, Jonas Bernoulli, 2019/11/16
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/16
- bug#38181: Actual height of mode-line not taken into account,
martin rudalics <=
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/16
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/18
- bug#38181: Actual height of mode-line not taken into account, Jonas Bernoulli, 2019/11/17
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/16