[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: |
Fri, 06 Oct 2023 09:44:51 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu) |
>> Speaking of this change from the first patch, do we want to have
>> project-mode-line automatically supported in Emacs <= 29, when they
>> install the new version from ELPA? Can we safely do that?
>>
>> Simply altering mode-line-format, as in the original patch, might mess
>> up the custom mode-line the user had set up (or installed). How to only
>> change the default mode-line is less obvious, but perhaps checking that
>> the current value is equal to (get 'mode-line-format 'standard-value)
>> would mean altering is okay.
>>
>> Or otherwise we should say something in the docstring of
>> project-mode-line: that it's only directly supported in Emacs 30, and in
>> older versions the user need to add the corresponding entry to the
>> mode-line-format by hand.
>
> I think supporting it in Emacs 30 is fine. It's a very minor feature,
> after all, so let's not invest too much effort in it.
Agreed. No need to support it in older versions. Moreover,
I'm trying to add another option to join project and vc indicators
on the mode-line that won't be possible to support in older versions.
- bug#66317: Project mode-line, (continued)
- 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, 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 <=
- 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
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/09
- bug#66317: Project mode-line, Juri Linkov, 2023/10/10
- bug#66317: Project mode-line, Eshel Yaron, 2023/10/10
- bug#66317: Project mode-line, Eshel Yaron, 2023/10/10
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/10
- bug#66317: Project mode-line, Eshel Yaron, 2023/10/10