[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Renaming eglot -- or at least add an alias?
From: |
Stefan Monnier |
Subject: |
Re: Renaming eglot -- or at least add an alias? |
Date: |
Tue, 11 Oct 2022 17:54:34 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Richard Stallman [2022-10-11 17:15:09] wrote:
> [[[ To any NSA and FBI agents reading my email: please consider ]]]
> [[[ whether defending the US Constitution against all enemies, ]]]
> [[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> > > Did we stumble across a name candidate here? “Code intelligence”?
> > It's a bit long, but ... `CIA-mode` anyone?
> Perhaps "Code-Parse mode"?
Do you mean it for Eglot or for Tree-Sitter?
;-)
Stefan
- Re: Renaming eglot -- or at least add an alias?, (continued)
- 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
- Re: Renaming eglot -- or at least add an alias?,
Stefan Monnier <=
- Re: Renaming eglot -- or at least add an alias?, Alexander Adolf, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/08
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Theodor Thornhill, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Richard Stallman, 2022/10/10
- Re: Renaming eglot -- or at least add an alias?, Dmitry Gutov, 2022/10/09
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/09