[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Eli Zaretskii |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Thu, 13 Oct 2022 13:37:01 +0300 |
> From: Philip Kaludercic <philipk@posteo.net>
> Cc: Stephen Leake <stephen_leake@stephe-leake.org>, Richard Stallman
> <rms@gnu.org>, Dmitry Gutov <dgutov@yandex.ru>, eliz@gnu.org,
> emacs-devel@gnu.org
> Date: Thu, 13 Oct 2022 08:59:33 +0000
>
> > I've been using lsp for a long time, and typing lag can get unbearable
> > with servers that sends too much stuff. When 20k completions
> > containing _full_ documentation for every result that json gets
> > humongous. Adding syntax highlights on top of that isn't advisable,
> > considering emacs nonmultithreaded nature.
>
> Is there any way to negotiate what information one is interested in at a
> time? E.g. I usually am not interested in documentation while
> completion a symbol name. If curious I'll request it manually and
> having all of Emacs slowed down because of something like that sounds bad.
Eglot allows that, yes.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Stephen Leake, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Michael Albinus, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/10
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/11
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Stephen Leake, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?,
Eli Zaretskii <=
- Re: Renaming eglot -- or at least add an alias?, Stephen Leake, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Akib Azmain Turja, 2022/10/14
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/13
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/04