[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66317: Project mode-line
From: |
Eshel Yaron |
Subject: |
bug#66317: Project mode-line |
Date: |
Mon, 09 Oct 2023 20:57:12 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Juri Linkov <juri@linkov.net> writes:
>>> Thanks, I've tried this patch on top of Emacs master and it seems to
>>> work well. One small suggestion is to consider giving the project name
>>> in the mode line a dedicated face, so people/themes could customize its
>>> appearance. (By default, it could just inherit from `default`.)
>>
>> Thanks for suggestion, will do on the second round after pushing the
>> initial version.
>
> I'm not yet sure whether better to add a new face or a new variable like
> grep-hit-face and xref-num-matches-face that refers to the existing face.
> Then it would be possible to set such variable e.g. to the face
> `vc-state-base`
> that inherits from `default`.
Personally I think a variable pointing to a face name is a somewhat
redundant indirection, since customizing the face to inherit from some
other face is just as easy as customizing the variable to point to a
different face. But either way works, of course.
Best,
Eshel
- bug#66317: Project mode-line, (continued)
- bug#66317: Project mode-line, Juri Linkov, 2023/10/03
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/03
- bug#66317: Project mode-line, Eli Zaretskii, 2023/10/03
- bug#66317: Project mode-line, Juri Linkov, 2023/10/04
- bug#66317: Project mode-line, Eshel Yaron, 2023/10/04
- bug#66317: Project mode-line, Juri Linkov, 2023/10/04
- bug#66317: Project mode-line, Spencer Baugh, 2023/10/05
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/05
- bug#66317: Project mode-line, Juri Linkov, 2023/10/06
- bug#66317: Project mode-line, Juri Linkov, 2023/10/09
- bug#66317: Project mode-line,
Eshel Yaron <=
- bug#66317: Project mode-line, Juri Linkov, 2023/10/10
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/10
- bug#66317: Project mode-line, Juri Linkov, 2023/10/11
- bug#66317: Project mode-line, Eli Zaretskii, 2023/10/04
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/04
- bug#66317: Project mode-line, Juri Linkov, 2023/10/04
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/05
- bug#66317: Project mode-line, Eli Zaretskii, 2023/10/06
- bug#66317: Project mode-line, Juri Linkov, 2023/10/06
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/06