[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66317: Project mode-line
From: |
Eli Zaretskii |
Subject: |
bug#66317: Project mode-line |
Date: |
Wed, 04 Oct 2023 10:43:01 +0300 |
> From: Juri Linkov <juri@linkov.net>
> Cc: dmitry@gutov.dev, 66317@debbugs.gnu.org, me@eshelyaron.com
> Date: Wed, 04 Oct 2023 09:18:28 +0300
>
> Ok, here is the implementation with an optional variable:
Thanks.
> +;;;###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")
Assuming Dmitry is OK with this implementation, this option should be
in NEWS, I think.
> --- 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?
- bug#66317: Project mode-line, (continued)
- 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, 2023/10/11
- bug#66317: Project mode-line,
Eli Zaretskii <=
- 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
- bug#66317: Project mode-line, Dmitry Gutov, 2023/10/09