Julian / lean.nvim

neovim support for the Lean theorem prover
MIT License
248 stars 25 forks source link

chore: adapt to changes in client fields for `vim.lsp.client` #336

Closed mattrobball closed 3 months ago

mattrobball commented 3 months ago

get_language_id has moved out from under config and up a level, see https://neovim.io/doc/user/lsp.html#lsp-client.

mattrobball commented 3 months ago

nvim --version returns

NVIM v0.10.0
Build type: Release
LuaJIT 2.1.1713773202
Julian commented 3 months ago

Thanks!