diff options
| -rw-r--r-- | doc/server_configurations.md | 40 | ||||
| -rw-r--r-- | doc/server_configurations.txt | 40 |
2 files changed, 80 insertions, 0 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index fa749775..f91a2c3f 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -60,6 +60,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [cucumber_language_server](#cucumber_language_server) - [custom_elements_ls](#custom_elements_ls) - [cypher_ls](#cypher_ls) +- [daedalus_ls](#daedalus_ls) - [dafny](#dafny) - [dagger](#dagger) - [dartls](#dartls) @@ -2621,6 +2622,45 @@ require'lspconfig'.cypher_ls.setup{} ``` +## daedalus_ls + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.daedalus_ls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "DaedalusLanguageServer" } + ``` + - `filetypes` : + ```lua + { "d" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `settings` : + ```lua + { + DaedalusLanguageServer = { + fileEncoding = "Windows-1252", + inlayHints = { + constants = true + }, + loglevel = "debug", + numParserThreads = 16, + srcFileEncoding = "Windows-1252" + } + } + ``` + + ## dafny Support for the Dafny language server. diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index fa749775..f91a2c3f 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -60,6 +60,7 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [cucumber_language_server](#cucumber_language_server) - [custom_elements_ls](#custom_elements_ls) - [cypher_ls](#cypher_ls) +- [daedalus_ls](#daedalus_ls) - [dafny](#dafny) - [dagger](#dagger) - [dartls](#dartls) @@ -2621,6 +2622,45 @@ require'lspconfig'.cypher_ls.setup{} ``` +## daedalus_ls + + + +**Snippet to enable the language server:** +```lua +require'lspconfig'.daedalus_ls.setup{} +``` + + +**Default values:** + - `cmd` : + ```lua + { "DaedalusLanguageServer" } + ``` + - `filetypes` : + ```lua + { "d" } + ``` + - `root_dir` : + ```lua + see source file + ``` + - `settings` : + ```lua + { + DaedalusLanguageServer = { + fileEncoding = "Windows-1252", + inlayHints = { + constants = true + }, + loglevel = "debug", + numParserThreads = 16, + srcFileEncoding = "Windows-1252" + } + } + ``` + + ## dafny Support for the Dafny language server. |