diff options
| author | github-actions <github-actions@github.com> | 2021-11-11 15:54:36 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2021-11-11 15:54:36 +0000 |
| commit | a754ab36324bf8db52f4cd337cfb40cb07e6663c (patch) | |
| tree | d3a22085cffdc269d7e1b5d0825190f7f660052c | |
| parent | feat(leanls): lean 4 uses a new tool called lake now (#1390) (diff) | |
| download | nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar.gz nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar.bz2 nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar.lz nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar.xz nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.tar.zst nvim-lspconfig-a754ab36324bf8db52f4cd337cfb40cb07e6663c.zip | |
docs: update server_configurations.md
skip-checks: true
| -rw-r--r-- | doc/server_configurations.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index 42ebddd8..4d0928c4 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -3182,6 +3182,12 @@ This server accepts configuration via the `settings` key. Download symbol server cache files from GitHub\. +- **`julia.symbolserverUpstream`**: `string` + + Default: `"https://www.julia-vscode.org/symbolcache"` + + Symbol server cache download URL\. + - **`julia.trace.server`**: `enum { "off", "messages", "verbose" }` Default: `"off"` @@ -3447,7 +3453,7 @@ require'lspconfig'.leanls.setup{} config.cmd_cwd = root end end, - root_dir = root_pattern("leanpkg.toml") or root_pattern(".git") or path.dirname + root_dir = root_pattern("lakefile.lean", "lean-toolchain", "leanpkg.toml", ".git") single_file_support = true ``` |