[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: eglot--spinner

From: Stephen Leake
Subject: Re: eglot--spinner
Date: Sun, 20 Nov 2022 13:46:33 -0800
User-agent: Gnus/5.13 (Gnus v5.13)

João Távora <joaotavora@gmail.com> writes:

>> So I suggest we just delete eglot--spinner.
> I'd say you're right, I can't find a use for it atm.  Also delete the part
> of the mode-line updating where it is consulted, as that is basically
> dead code right now.


-- Stephe

reply via email to

[Prev in Thread] Current Thread [Next in Thread]