[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: |
Tue, 14 Mar 2023 22:27:00 +0000 |
OK, Can you submit a patch? Bonus points if you add your :texlab example.
Here you go. This is my first Emacs patch and I hope it's fine like this as I'm
not very experienced with this patch email workflow. Is it okay that I sent it
in a reply as an attachment or should I have started a new thread for the patch?
In the patch I mention that arrays can be represented as vector datatypes and
extend the existing advanced configuration :pylsp example with an array option.
Further, the patch also fixes the indentation for the example.
Further, the patch introduces some changes to the punctuation before/after the
configuration examples, because stylistically I think they should be considered
part of the surrounding text. If you want I could make this a separate patch or
you can revert those changes. I admit this is also personal preference, I have
some personal opinions on that but they are not strong.
Initially I didn't know how to find the proper xref reference to vectors in the
elisp manual, but luckily with some grepping I found another place where that
manual section was referenced and just copied that xref (this is also my first
time writing texinfo). I didn't rebuild the documentation yet but hope it will
be fine.
The changes are also described in the commit message in the patch.
Cheers, Michael
0001-Document-how-to-set-JSON-arrays-in-eglot-workspace-c.patch
Description: Text Data
- Re: Explain a bit more on how to configure language server in Eglot's manual, (continued)
- Re: Explain a bit more on how to configure language server in Eglot's manual, Augusto Stoffel, 2023/03/09
- Re: Explain a bit more on how to configure language server in Eglot's manual', Augusto Stoffel, 2023/03/09
- Re: Explain a bit more on how to configure language server in Eglot's manual, Yuri Khan, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, Yuri Khan, 2023/03/08
- Re: Explain a bit more on how to configure language server in Eglot's manual, João Távora, 2023/03/08
- 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 <=
- 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, 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