Subject: bug#71823: 31.0.50; project-mode-line and eglot duplicate project-name in mode-line

From: João Távora <[email-masked]>
Date: Sat, 29 Jun 2024 13:21:20 +0100

On Sat, Jun 29, 2024 at 1:17 PM Dmitry Gutov <[email-masked]> 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.