Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

Fix publishDiagnostics handler override. #136

Closed gebner closed 3 years ago

gebner commented 3 years ago

I thought that the missing diagnostics came from the recent 0.6 support PR. But it turns out that this is not the case, the diagnostics were broken for me because I've customized the vim.lsp.handlers['textDocument/publishDiagnostics'] function, and the infoview code ignored that when overriding the handler.

The reason my earlier fix didn't work is because the diagnostics were still shown properly (using my overridden handler) when the file was first loaded. Only subsequently added diagnostics were missing..