Julian / lean.nvim

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

infoview.reposition can leave the windows with the wrong dimensions #261

Closed Julian closed 2 years ago

Julian commented 2 years ago

It probably needs to apply width/height after moving the windows, as-is windows moving from a drastically different portrait to landscape layout can be too short or too wide relative to the expected height or width.