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

[sbaugh@catern.com]

João Távora <joaotavora@gmail.com> writes:
> On Wed, Jul 3, 2024 at 4:12 PM Spencer Baugh <sbaugh@janestreet.com> wrote:
>>
>> João Távora <joaotavora@gmail.com> writes:
>>
>> > On Wed, Jul 3, 2024 at 3:47 PM Spencer Baugh <sbaugh@janestreet.com> wrote:
>> >
>> >> Do any of these seem acceptable?
>> >
>> > No, sorry.
>>
>> When you originally said the patch was OK, how did you think the
>> project-mode-line worked?
>
> I said the idea was OK :-)  I forgot that Eglot's own display of
> the project name is not only that.  It has more functionality:
> the project name is only a label.  So what I thought would be a mere
> replacement and is actually not.

To be clear, I want a configuration which will have project-name from
project-mode-line and no project-name in the eglot mode-line entry.

So that functionality will need to be moved anyway, no matter how we
solve this problem.

Are you fine with including the server menu in the main menu?  This is
something we'd want in both the "make it work by default" or "make it
customizable" solutions.

>> >> But I don't want to delegate the responsibility of solving this problem
>> >> to the user, I want the problem to just be gone: the entries should just
>> >> not duplicate project-name.
>> >
>> > This problem wasn't introduced by Eglot.
>>
>> Definitely, but it seems like it is best to fix it in Eglot.
>
> It's best to allow the user to choose, and Eglot doesn't have a way
> to let the user choose (while project has). So let's give them one
> in Eglot.

It's better still to both allow the user to choose and *also* have a
default which works right out of the box.  Those are two separate things
which we can do separately.

But allowing the user to choose adds a bunch of new customization points
that need to be maintained.  I don't understand why we would add these
new customization points when we already are low on maintainer time for
Eglot.  I anticipate adding these custosmization points would have lots
of small bugs.  I'm all for doing it eventually, but making things work
by default also solves my problem, without adding new maintenance
burden.