]> git.eshelyaron.com Git - emacs.git/commit
Update Eglot's manual about eglot-workspace-configuration
authorJoão Távora <joaotavora@gmail.com>
Sun, 12 Mar 2023 19:44:53 +0000 (19:44 +0000)
committerJoão Távora <joaotavora@gmail.com>
Mon, 13 Mar 2023 09:14:30 +0000 (09:14 +0000)
commit54e123a5055ab5a78a19a7a23ef329e954101754
tree3711c8d5e9cd776bd7f07e559d5d18d6777f323a
parent812597f864c4c75525bc65d63a8016d6a6797c9f
Update Eglot's manual about eglot-workspace-configuration

There is a possible use for a global setting
eglot-workspace-configuration, which is to (ab)use it to set
user-specific configuration when the server doesn't permit other
methods.  Rearrange the "Advanced server configuration" section and
describe that use in the manual.

* doc/misc/eglot.texi (Project-specific configuration): Correct
mistake about global usefulness of eglot-workspace-configuration.
(Advanced server configuration): Swap order of sections.
(User-specific configuration): Mention possibility of globally
setting eglot-workspace-configuration.
doc/misc/eglot.texi