[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#63825: 29.0.90; The header line should be hidden when empty
From: |
Spencer Baugh |
Subject: |
bug#63825: 29.0.90; The header line should be hidden when empty |
Date: |
Thu, 01 Jun 2023 13:37:18 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eshel Yaron <me@eshelyaron.com> writes:
> Eli Zaretskii <eliz@gnu.org> writes:
>> header-line-format supports :eval and :when, so why cannot
>> which-function-mode use those to yield nil when there's nothing to
>> show?
>
> I thought so as well, but it seems that the header line is displayed
> even when the value of `header-line-format` yields nil, if it isn't
> plain nil.
>
> So this shows an empty header line:
>
> (setq-default header-line-format '(:eval nil))
>
> (In Emacs master with -Q.)
Yes, this is what I meant. Sorry, my example was not chosen carefully.
I should have chosen an example which yielded an actually empty string
when processed by format-mode-line, such as '(:eval nil);
(format-mode-line '(:eval nil)) evaluates to "", which I think should
cause the header-line to not appear.
- bug#63825: 29.0.90; The header line should be hidden when empty, Spencer Baugh, 2023/06/01
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/01
- bug#63825: 29.0.90; The header line should be hidden when empty, Eshel Yaron, 2023/06/01
- bug#63825: 29.0.90; The header line should be hidden when empty,
Spencer Baugh <=
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/01
- bug#63825: 29.0.90; The header line should be hidden when empty, Spencer Baugh, 2023/06/01
- bug#63825: 29.0.90; The header line should be hidden when empty, Eshel Yaron, 2023/06/02
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/02
- bug#63825: 29.0.90; The header line should be hidden when empty, Eshel Yaron, 2023/06/02
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/03
- bug#63825: 29.0.90; The header line should be hidden when empty, Eshel Yaron, 2023/06/03
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/04
- bug#63825: 29.0.90; The header line should be hidden when empty, Eshel Yaron, 2023/06/04
- bug#63825: 29.0.90; The header line should be hidden when empty, Eli Zaretskii, 2023/06/06