[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66317: Project mode-line
From: |
Juri Linkov |
Subject: |
bug#66317: Project mode-line |
Date: |
Tue, 10 Oct 2023 09:56:51 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu) |
>>>> 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.
Probably adding a variable would be more suitable since currently
there are no faces defined in project.el at all.
- bug#66317: Project mode-line, (continued)
- 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, 2023/10/09
- bug#66317: Project mode-line,
Juri Linkov <=
- 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
- bug#66317: Project mode-line, Juri Linkov, 2023/10/09