diff options
| author | Michael Lingelbach <m.j.lbach@gmail.com> | 2021-11-11 01:00:24 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-11 01:00:24 -0800 |
| commit | 0d1ce78d231773046320caa45fe1a18dfa366761 (patch) | |
| tree | fde488c8490f93b6ad88ef8a32e77ff9b4e49d34 /lua/lspconfig/leanls.lua | |
| parent | docs: make CONTRIBUTING more visible via move (#1396) (diff) | |
| download | nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar.gz nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar.bz2 nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar.lz nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar.xz nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.tar.zst nvim-lspconfig-0d1ce78d231773046320caa45fe1a18dfa366761.zip | |
feat: add single file mode (#1385)
* This adds a "single file mode" option for each language server
* Currently, if a root is not detected, a new language server is started
for each file opened.
* Root directory is set to `nil` in start_client. Some servers will
refuse to start, or otherwise panic. This is opt-in per server.
* Some servers, such as rust-analyzer, explicitly have a "single file
mode", we will not support that until it is officially part of the LSP
specification
Co-authored-by: Peter Lithammer <peter.lithammer@gmail.com>
Diffstat (limited to 'lua/lspconfig/leanls.lua')
| -rw-r--r-- | lua/lspconfig/leanls.lua | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua index 328da43e..cfefb808 100644 --- a/lua/lspconfig/leanls.lua +++ b/lua/lspconfig/leanls.lua @@ -15,11 +15,9 @@ configs.leanls = { end end - return util.root_pattern 'leanpkg.toml'(fname) - or stdlib_dir - or util.find_git_ancestor(fname) - or util.path.dirname(fname) + return util.root_pattern 'leanpkg.toml'(fname) or stdlib_dir or util.find_git_ancestor(fname) end, + single_file_support = true, on_new_config = function(config, root) if not config.cmd_cwd then config.cmd_cwd = root |
