[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress
From: |
Danny Freeman |
Subject: |
bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot |
Date: |
Fri, 25 Nov 2022 11:41:46 -0500 |
Eli Zaretskii <eliz@gnu.org> writes:
>> Cc: 59149@debbugs.gnu.org, joaotavora@gmail.com
>> Date: Fri, 25 Nov 2022 11:15:33 -0500
>> From: Danny Freeman via "Bug reports for GNU Emacs,
>> the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
>>
>> +(defcustom eglot-report-progress t
>> + "If non-nil, show progress of long running server work in the minibuffer."
>> + :type 'boolean)
>
> Please add a :version tag.
>
> Thanks.
My bad, attached is a revised patch.
--
Danny Freeman
0001-Eglot-Display-progress-notifications-in-minibuffer-a.patch
Description: Eglot progress report, now with version number!
- bug#59149: Feature Request: Report progress of long requests in Eglot, (continued)
- bug#59149: Feature Request: Report progress of long requests in Eglot, Danny Freeman, 2022/11/23
- bug#59149: Feature Request: Report progress of long requests in Eglot, Stephen Leake, 2022/11/23
- bug#59149: Feature Request: Report progress of long requests in Eglot, Danny Freeman, 2022/11/23
- bug#59149: Feature Request: Report progress of long requests in Eglot, João Távora, 2022/11/23
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Stephen Leake, 2022/11/24
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, João Távora, 2022/11/24
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Stephen Leake, 2022/11/24
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, João Távora, 2022/11/25
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Danny Freeman, 2022/11/25
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Eli Zaretskii, 2022/11/25
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot,
Danny Freeman <=
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Danny Freeman, 2022/11/25
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, João Távora, 2022/11/25
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Danny Freeman, 2022/11/26
- bug#59149: [SPAM UNSURE] Re: bug#59149: Feature Request: Report progress of long requests in Eglot, Stefan Kangas, 2022/11/26
- bug#59149: Feature Request: Report progress of long requests in Eglot, Stephen Leake, 2022/11/22