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

[João Távora]

On Sat, Jun 29, 2024 at 1:17 PM Dmitry Gutov <dmitry@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.