Julian / lean.nvim

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

Consider making the max width / height of infoviews work via percentages of real estate rather than columns/rows #315

Open Julian opened 9 months ago

Julian commented 9 months ago

For narrow screens -- such as the one used for the demo script (especially with even smaller dimensions) -- the infoview even at max width can seem to take up a full half of the available space, which is unnecessary.

It might be better if this max width was a percentage of the available columns, and then we set it to 1/3 or something.

This may really be about making both possible (a la CSS) to configure, and then changing the default to percentage-based.