GNU bug report logs - #59929
[PATCH]: Eglot, request progress notification on server init

Previous Next

Full log

Message #8 received at 59929 <at> debbugs.gnu.org (full text, mbox):

From: Danny Freeman <danny <at> dfreeman.email>
To: 59929 <at> debbugs.gnu.org
Subject: Re: [PATCH]: Eglot, request progress notification on server init
Date: Fri, 09 Dec 2022 15:59:24 -0500

[Message part 1 (text/plain, inline)]

Another patch for consideration related to the first in this thread,
I've confirmed that clients can signal to servers that they are willing
to accept server initiated progress notifications with the client
capability in the attached patch. 

Note: there is still no server capability for this that can be ignored,
and the `eglot-report-progress` defcustom remains relevant here. Any
server initiated progress report will be ignored if
`eglot-report-progress` is `nil`.

Server will send a `window/workDoneProgress/create` request, but nothing
needs to be done with it. That request will be followed by the already
implemented $/progress notifications.

I need to find a server that I can test this with before this patch is
applied. I will report back in this thread once I've done that.

-- 
Danny Freeman

[0001-Eglot-Enable-server-initiated-progress-reports.patch (text/x-patch, attachment)]

Previous Next

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