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

Previous Next

Full log

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

From: João Távora <joaotavora <at> gmail.com>
To: sbaugh <at> catern.com
Cc: Spencer Baugh <sbaugh <at> janestreet.com>, Eli Zaretskii <eliz <at> gnu.org>,
 Juri Linkov <juri <at> linkov.net>, 71823-done <at> debbugs.gnu.org,
 Dmitry Gutov <dmitry <at> gutov.dev>
Subject: Re: bug#71823: 31.0.50; project-mode-line and eglot duplicate
 project-name in mode-line
Date: Tue, 28 Jan 2025 11:13:36 +0000

On Fri, Jul 5, 2024 at 1:03 PM João Távora <joaotavora <at> gmail.com> wrote:

> > But allowing the user to choose adds a bunch of new customization points
> > that need to be maintained.
>
> Not a bunch of customization points.  Only one, a very idiomatic one:
> eglot-mode-line-format.

I've now implemented this in eglot.el and pushed to master.  Just
remove eglot-mode-line-session for eglot-mode-line-format and Eglot's
mode line will no longer display the project name in a conflicting way.

This enhancement will be in the upcoming Eglot 1.19 version.

João

Previous Next

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