diff options
| author | João Távora | 2023-03-12 19:44:53 +0000 |
|---|---|---|
| committer | João Távora | 2023-03-13 09:14:30 +0000 |
| commit | 54e123a5055ab5a78a19a7a23ef329e954101754 (patch) | |
| tree | 3711c8d5e9cd776bd7f07e559d5d18d6777f323a /java/org/gnu | |
| parent | 812597f864c4c75525bc65d63a8016d6a6797c9f (diff) | |
| download | emacs-54e123a5055ab5a78a19a7a23ef329e954101754.tar.gz emacs-54e123a5055ab5a78a19a7a23ef329e954101754.zip | |
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.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions