Julian / lean.nvim

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

Option to re-use info on a new tab #126

Closed rish987 closed 11 months ago

rish987 commented 3 years ago

When opening a new tab, right now we always create a new info, but we should have an option that can enable using the same info in a new infoview. This should also come with a command to replace the current info with a brand new one if you actually want a new info.