diff options
| author | Rishikesh Vaishnav <rishhvaishnav@gmail.com> | 2021-12-10 12:09:49 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-10 12:09:49 -0800 |
| commit | 453390dff336b72b6b5c97b0b6ee5ff334ced26a (patch) | |
| tree | 6a0716028ba9a5ea348be75bfe3fecb51f209aed | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar.gz nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar.bz2 nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar.lz nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar.xz nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.tar.zst nvim-lspconfig-453390dff336b72b6b5c97b0b6ee5ff334ced26a.zip | |
fix(lean3ls): use utf-32 offset encoding (#1465)
| -rw-r--r-- | lua/lspconfig/server_configurations/lean3ls.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lua/lspconfig/server_configurations/lean3ls.lua b/lua/lspconfig/server_configurations/lean3ls.lua index dc3872e8..cb5cd8f7 100644 --- a/lua/lspconfig/server_configurations/lean3ls.lua +++ b/lua/lspconfig/server_configurations/lean3ls.lua @@ -12,6 +12,7 @@ return { default_config = { cmd = cmd, filetypes = { 'lean3' }, + offset_encoding = "utf-32", root_dir = function(fname) -- check if inside elan stdlib local stdlib_dir |