[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: |
Fri, 07 Oct 2022 15:09:01 +0300 |
> Date: Fri, 7 Oct 2022 15:03:36 +0300
> Cc: rms@gnu.org, ams@gnu.org, emacs-devel@gnu.org
> From: Dmitry Gutov <dgutov@yandex.ru>
>
> >> IMHO that can be the best goal for the menu bar. But you might have a
> >> different understanding of its role.
> > Something to revisit at a later date, I think. Too many things are
> > still in flux: Eglot, tree-sitter... The functionalities overlap, and
> > at least I personally don't yet have a clear idea of how to make the
> > best "mix".
>
> IIUC tree-sitter will be used by specific major modes that implement the
> integration. Some will just do that from the outset, and some might have
> user options to toggle.
Yes, so take python-mode as an example. It has both tree-sitter
support and Eglot support. How to use both? does it even make sense?
> But if those options are featured in the menu bar, they probably will be
> in the major mode's menu, not inside Tools.
For Eglot, probably. For tree-sitter, I don't know yet. If we have
enough modes with tree-sitter support, it might make sense to allow it
globally.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Alfred M. Szmidt, 2022/10/05
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/06
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?,
Eli Zaretskii <=
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Emanuel Berg, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/07
- Re: Renaming eglot -- or at least add an alias?, tomas, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, tomas, 2022/10/08
- RE: [External] : Re: Renaming eglot -- or at least add an alias?, Drew Adams, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/11