search

Julian / lean.nvim

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

Update infoview after opening. #264

Closed gebner closed 2 years ago

gebner commented 2 years ago

When you manually open the infoview, it used to start up blank. This triggers an update right after it is opened.

Julian commented 2 years ago

Added a test, and made this happen on all open, not just toggle, but definitely seems reasonable to me. (Let me know if you disagree with the 2 commits obviously, but seems unlikely).

The CI failure on nightly is annoying, I actually think we may be triggering #260 in CI (and this new test means I can sometimes trigger it locally now, but not deterministically). Will merge though if only nightly fails as that's nothing new to this PR :/