Make how and when the infoview updates, particularly when it goes blank - Githubissues

Julian / lean.nvim

Neovim support for the Lean theorem prover

MIT License

276 stars 26 forks source link

Make how and when the infoview updates, particularly when it goes blank #256

Closed Julian closed 2 years ago