diff options
| -rw-r--r-- | doc/server_configurations.md | 10 | ||||
| -rw-r--r-- | doc/server_configurations.txt | 10 |
2 files changed, 6 insertions, 14 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index fb28324a..dbfe08b8 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -6085,21 +6085,17 @@ require'lspconfig'.koka.setup{} **Default values:** - - `capabilities` : - ```lua - default capabilities, with offsetEncoding utf-8 - ``` - `cmd` : ```lua - { "koka", "--language-server" } + { "koka", "--language-server", "--lsstdio" } ``` - `filetypes` : ```lua - { "kk" } + { "koka" } ``` - `root_dir` : ```lua - + git directory ``` - `single_file_support` : ```lua diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index fb28324a..dbfe08b8 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -6085,21 +6085,17 @@ require'lspconfig'.koka.setup{} **Default values:** - - `capabilities` : - ```lua - default capabilities, with offsetEncoding utf-8 - ``` - `cmd` : ```lua - { "koka", "--language-server" } + { "koka", "--language-server", "--lsstdio" } ``` - `filetypes` : ```lua - { "kk" } + { "koka" } ``` - `root_dir` : ```lua - + git directory ``` - `single_file_support` : ```lua |