diff options
author | cos <cos> | 2023-08-07 22:38:09 +0200 |
---|---|---|
committer | cos <cos> | 2023-08-07 22:38:11 +0200 |
commit | 3c6f9392c896eedfed13dafbf4b071752f62bf96 (patch) | |
tree | 37b92ecb84bca1b3063514844efe2f271b3395f4 /.gitignore | |
parent | 15cbc0e912acf31d8185dbef00473e9555591350 (diff) | |
download | ale-fix/lua-language-server_docs.zip |
Fix lua_language_server_config variable namefix/lua-language-server_docs
Since added in commit f2a21c9, the implementation and documentation has
differed in their naming. The latter has had an additional lua_-prefix.
With this fix, setting the variable as documented actually results in a
'workspace/didChangeConfiguration' method being executed on the luals.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions