[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: |
Tue, 10 Oct 2023 13:34:23 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Dmitry Gutov <dmitry@gutov.dev> writes:
>> To me, this description looks a bit too implementation-focused. How
>> about the following?
>
> I'm fine with either, but...
>
>> Show the name of the current project on the mode line.
>> This option only works in Emacs 30 or later, for a similar
>> effect in
>> Emacs 29 or earlier add `project-mode-line-format' to your
>> `mode-line-format' instead of using this option.
>
> There might be a problem in the fact that it still won't work in Emacs
> 30 if the user had customized the mode-line (or installed one of the
> packages that do).
I agree, perhaps we could say:
Note that this feature relies on the default value of
`mode-line-format' in Emacs 30 and later. With a custom mode line,
as well as on Emacs 29 or earlier, add `project-mode-line-format' to
your `mode-line-format' instead of setting this option.
> Also: "in addition", not "instead".
There's no harm in adding `project-mode-line-format` to
`mode-line-format` in addition to setting `project-mode-line`, but I did
mean "instead" and not "in addition", since the value of
`project-mode-line` is irrelevant if you follow the suggestion to add
`project-mode-line-format` directly to `mode-line-format`.
Best,
Eshel
- bug#66317: Project mode-line, (continued)
- 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
- 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 <=
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/10
- bug#66317: Project mode-line, Ihor Radchenko, 2023/10/20
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/20
- bug#66317: Project mode-line, Juri Linkov, 2023/10/31
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/31
bug#66317: Project mode-line, Stefan Kangas, 2023/10/03
bug#66317: Project mode-line, sbaugh, 2023/10/15