|
From: | Dmitry Gutov |
Subject: | bug#66317: Project mode-line |
Date: | Tue, 10 Oct 2023 14:42:11 +0300 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 10/10/2023 14:34, Eshel Yaron wrote:
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`.
Understood. That creates two different documented ways to enable the feature, though. Maybe that's okay.
[Prev in Thread] | Current Thread | [Next in Thread] |