diff options
| author | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-09-11 09:47:19 +0000 |
|---|---|---|
| committer | github-actions[bot] <github-actions[bot]@users.noreply.github.com> | 2024-09-11 09:47:19 +0000 |
| commit | d88ae6623fef09251e3aa20001bb761686eae730 (patch) | |
| tree | ae9571411652553c0ca34c661fd8978c2f4eee39 /doc | |
| parent | feat: add daedalus-language-server support (#3259) (diff) | |
| download | nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar.gz nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar.bz2 nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar.lz nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar.xz nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.tar.zst nvim-lspconfig-d88ae6623fef09251e3aa20001bb761686eae730.zip | |
docs: update server_configurations.md
skip-checks: true
Diffstat (limited to 'doc')
| -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. |