[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, 04 Oct 2023 20:04:52 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/30.0.50 (x86_64-pc-linux-gnu) |
>> +;;;###autoload
>> +(defcustom project-mode-line nil
>> + "Show the current project name with the menu on the mode line."
>> + :type 'boolean
>> + :group 'project
>> + :version "30.1")
>>
>> --- a/lisp/bindings.el
>> +++ b/lisp/bindings.el
>> @@ -682,6 +682,7 @@ mode-line-end-spaces
>> 'mode-line-buffer-identification
>> " "
>> 'mode-line-position
>> + '(project-mode-line project-mode-line-format)
>> '(vc-mode vc-mode)
>> " "
>> 'mode-line-modes
>
> bindings.el is preloaded, but project.el is not. Doesn't the above
> cause trouble while bootstrapping, or forces loading project.el right
> after starting Emacs? IOW, when will project.el be loaded if the user
> customizes the new option to a non-nil value?
project-mode-line is autoloaded and nil by default. This means no trouble
while bootstrapping, and project.el is not loaded after starting Emacs.
project.el is loaded only after customizing project-mode-line to non-nil.
- bug#66317: Project mode-line, (continued)
- 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, 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 <=
- 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
- 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