GNU bug report logs - #71823
31.0.50; project-mode-line and eglot duplicate project-name in mode-line

Previous Next

Full log

Message #35 received at 71823 <at> debbugs.gnu.org (full text, mbox):

From: Spencer Baugh <sbaugh <at> janestreet.com>
To: João Távora <joaotavora <at> gmail.com>
Cc: Dmitry Gutov <dmitry <at> gutov.dev>, Eli Zaretskii <eliz <at> gnu.org>,
 71823 <at> debbugs.gnu.org
Subject: Re: bug#71823: 31.0.50; project-mode-line and eglot duplicate
 project-name in mode-line
Date: Sat, 29 Jun 2024 08:41:43 -0400

[Message part 1 (text/plain, inline)]

On Sat, Jun 29, 2024, 8:21 AM João Távora <joaotavora <at> gmail.com> wrote:

> On Sat, Jun 29, 2024 at 1:17 PM Dmitry Gutov <dmitry <at> gutov.dev> wrote:
>
> > Either way, it might make sense for Eglot to check out that project.el's
> > variable and choose the format accordingly.
>
> Yes, and that's what the proposed eglot-mlf-project-maybe element to
> the custom variable eglot-mode-line-format would do.
>

In the new variable, I think eglot-mlf-project-maybe should be the default,
since it's essentially always the better behavior.

If you agree it should be the default in the future customizable variable,
can we just make the change now when it's not customizable?

>

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.