[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: |
Wed, 11 Oct 2023 09:27:50 +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.
>
> FWIW, I don't have a strong opinion.
Ok, added a face variable.
- bug#66317: Project mode-line, (continued)
- 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, 2023/10/10
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/10
- bug#66317: Project mode-line,
Juri Linkov <=
- 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
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/09
- bug#66317: Project mode-line, Juri Linkov, 2023/10/09