Re: master a33e7c0286c 2/2: Disable workDoneProgress if defcustom is nil

[João Távora]

On Sat, Mar 30, 2024 at 7:52 PM Theodor Thornhill via Mailing list for
Emacs changes <emacs-diffs@gnu.org> wrote:
>
> branch: master
> commit a33e7c0286c2a9c8af1c96db42f5c0c37611c9db
> Author: Theodor Thornhill <theo@thornhill.no>
> Commit: Theodor Thornhill <theo@thornhill.no>
>
>     Disable workDoneProgress if defcustom is nil
>
>     There is no need to receive the $/progress notifications from the server
>     if we don't want to render them. Because they are effectively ignored
>     when eglot-report-progress is nil we'd rather not waste cycles on serde
>     of the messages.

I agree with this, but it has the side-effect that a user
experimenting with setting eglot-report-progress _during_ a session
won't see the effects live and needs to reconnect.  Which is perfectly
fine, IMO, but probably could be documented somewhere.  See the similar
situation eglot-events-buffer-config and its docstring for an idea.

João