[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: |
Michael Eliachevitch |
Subject: |
Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual |
Date: |
Wed, 15 Mar 2023 12:52:45 +0000 |
Thanks Eli, I incorporated your comments into v2 of the patch attached below.
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.
Good point. However, due to the "as described" above, I think it should just be
a @ref instead. I also found a wrong @xref inside a sentence in line 1201 of eglot.texi,
which I now also replaced by @pxref v2 of my patch.
If you want to continue a sentence after @lisp, you need to have
@noindent before the text.
Thanks, also incorporated that.
Cheers, Michael
v2-0001-Document-how-to-set-JSON-arrays-in-eglot-workspac.patch
Description: v2 of patch that documents how to represent json arrays as vectors in eglot/jsonrpc
- 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, 2023/03/15
- Re: [PATCH] Explain a bit more on how to configure language server in Eglot's manual,
Michael Eliachevitch <=
- 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
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Pedro Andres Aranda Gutierrez, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/06
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/06