[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38181: Actual height of mode-line not taken into account
From: |
Eli Zaretskii |
Subject: |
bug#38181: Actual height of mode-line not taken into account |
Date: |
Sat, 16 Nov 2019 10:38:16 +0200 |
> From: Jonas Bernoulli <jonas@bernoul.li>
> Cc: 38181@debbugs.gnu.org
> Date: Sat, 16 Nov 2019 00:51:19 +0100
>
> > An alternative would be to scale the image so that it doesn't enlarge
> > the mode line, btw. Is that possible in your use cases?
>
> No because enlarging the mode-line is one of the things I did in order
> to make it prettier (imo). It's a goal not a means or side-effect.
If this is to make the mode line prettier, then it should be done
once, at the beginning of a session, right? In that case, why calling
redisplay after loading the package or enabling a feature is not a
solution?
- bug#38181: Actual height of mode-line not taken into account, Jonas Bernoulli, 2019/11/12
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 2019/11/13
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/15
- bug#38181: Actual height of mode-line not taken into account, Jonas Bernoulli, 2019/11/15
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/15
- bug#38181: Actual height of mode-line not taken into account, Jonas Bernoulli, 2019/11/15
- bug#38181: Actual height of mode-line not taken into account,
Eli Zaretskii <=
- 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, Jonas Bernoulli, 2019/11/17
bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/15
- bug#38181: Actual height of mode-line not taken into account, martin rudalics, 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, 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, 2019/11/16
- bug#38181: Actual height of mode-line not taken into account, Eli Zaretskii, 2019/11/16