[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Explain a bit more on how to configure language server in Eg
From: |
Eli Zaretskii |
Subject: |
Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual |
Date: |
Wed, 15 Mar 2023 14:35:32 +0200 |
> From: Michael Eliachevitch <m.eliachevitch@posteo.de>
> Cc: emacs-devel@gnu.org
> Date: Tue, 14 Mar 2023 22:27:00 +0000
>
> --- a/doc/misc/eglot.texi
> +++ b/doc/misc/eglot.texi
> @@ -1214,7 +1214,7 @@ supported. It consists of @emph{globally} setting
> @code{eglot-workspace-configuration}, a variable originally intended
> for project-specific configuration. This has the same effect as
> giving all your projects a certain default configuration, as described
> -in @xref{Project-specific configuration}. Here is an example.
> +in @xref{Project-specific configuration}. Here is an example:
@xref here is wrong: it produces a capitalized "See", so is only
appropriate at the beginning of a sentence. You want @pxref instead.
> @lisp
> (:pylsp (:plugins (:jedi_completion (:include_params t
> - :fuzzy t)
> - :pylint (:enabled :json-false)))
> + :fuzzy t)
> + :pylint (:enabled :json-false
> + :args ["--disable" "C0103"])))
> :gopls (:usePlaceholders t))
> @end lisp
>
> -Is serialized by Eglot to the following JSON text:
> +is serialized by Eglot to the following JSON text:
If you want to continue a sentence after @lisp, you need to have
@noindent before the text.
- Re: Explain a bit more on how to configure language server in Eglot's manual, (continued)
- Re: [SPAM UNSURE] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/09
- Re: [SPAM UNSURE] Explain a bit more on how to configure language server in Eglot's manual, Yuan Fu, 2023/03/10
- Re: Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/14
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/14
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/14
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual,
Eli Zaretskii <=
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, Michael Eliachevitch, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/15
Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06