Julian / lean.nvim

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

Set winfixbuf when available (0.10+) on our infoview windows. #332

Closed Julian closed 3 months ago

Julian commented 5 months ago

https://github.com/neovim/neovim/issues/12517