[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: |
Wed, 12 Oct 2022 17:03:46 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: rswgnu@gmail.com, larsi@gnus.org, manuel.uberti@inventati.org,
> joaotavora@gmail.com, philipk@posteo.net, theophilusx@gmail.com,
> emacs-devel@gnu.org, rms@gnu.org
> Date: Wed, 12 Oct 2022 21:42:57 +0800
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > In what customs did you search, and in which codebase?
>
> customize-apropros. I searched "language server" with Eglot installed
> off ELPA:
>
> customize-apropos: No customizable group, face, or option matching
> (language server)
customize-apropos looks at symbol names, and that's all. Discovering
features based on their names only is not the best idea.
apropos-documentation is a much better tool for that.
- Re: Renaming eglot -- or at least add an alias?, (continued)
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Manuel Uberti, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Lars Ingebrigtsen, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Robert Weiner, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Eli Zaretskii, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?, Po Lu, 2022/10/12
- Re: Renaming eglot -- or at least add an alias?,
Eli Zaretskii <=
- Re: Renaming eglot -- or at least add an alias?, Jose A. Ortega Ruiz, 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?, Richard Stallman, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Tim Cross, 2022/10/02
- Re: Renaming eglot -- or at least add an alias?, Philip Kaludercic, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, João Távora, 2022/10/03
- Re: Renaming eglot -- or at least add an alias?, Stefan Monnier, 2022/10/03