[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Proportional fonts in the mode line (one month test)
From: |
Lars Ingebrigtsen |
Subject: |
Re: Proportional fonts in the mode line (one month test) |
Date: |
Thu, 25 Nov 2021 14:28:29 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Po Lu <luangruo@yahoo.com> writes:
> There must be a better way to achieve this than modifying the
> `mode-line' face. We could probably set the face separately for
> individual parts of `mode-line-format'.
>
> Many external packages depend on a fixed pitch `mode-line' face. It
> would be good to not change this default.
Well, that's up to the package authors to decide.
> Also, please don't change the header line as well. For instance, the
> header line in calc that reads "---- Emacs Calculator Mode ----" is now
> totally broken.
Right, like Juri said:
(defface header-line
'((default
:inherit mode-line)
I wasn't aware of that, and I think the right fix here is to remove this
inheritance -- I don't see any good reason to have this coupling between
the mode line and the header lines. Any opinions?
>> This is just a test: If everybody hates this default, we won't
>> proceed,
>
> This wording is shocking! Does it mean that we will proceed with this
> default if even one person likes it?
Sometimes you don't have to use predicate logic on natural language.
So: No.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Proportional fonts in the mode line (one month test), (continued)
- Re: Proportional fonts in the mode line (one month test), Lars Ingebrigtsen, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Eli Zaretskii, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Jim Porter, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Kévin Le Gouguec, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Jim Porter, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Yuri Khan, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Po Lu, 2021/11/26
- Re: Proportional fonts in the mode line (one month test), Lars Ingebrigtsen, 2021/11/26
- Re: Proportional fonts in the mode line (one month test), Eli Zaretskii, 2021/11/25
- Re: Proportional fonts in the mode line (one month test), Po Lu, 2021/11/25
Re: Proportional fonts in the mode line (one month test),
Lars Ingebrigtsen <=
Re: Proportional fonts in the mode line (one month test), Protesilaos Stavrou, 2021/11/25
Re: Proportional fonts in the mode line (one month test), Simen Heggestøyl, 2021/11/25