search

Julian / lean.nvim

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

Entering edit mode will shrink line-number bar, moving text around #340

Closed VictorTaelin closed 2 months ago

VictorTaelin commented 2 months ago

When I enter edit mode using lean.nvim, the left bar (with line counts and infos) will change size, which causes the text to move around:

https://i.imgur.com/n38FQS8.mp4

I'm on OSX Sonoma, NVIM v0.10.0. Is this the expected behavior?

Julian commented 2 months ago

Hello!

That looks like it should be normal default neovim behavior there -- we've documented what to change if you don't like that behavior here in the Wiki in the context of progress bars but I believe the same is what would cause your sign column shifting there in the screencast. Give that a shot and let me know if not?

Julian commented 2 months ago

Closing but if the above doesn't help feel free to follow-up!

VictorTaelin commented 2 months ago

Indeed, adding:

set signcolumn=yes

To my init.vim solved the issue. Thank you!