Lean Window Shakes in nvim

Stream: new members

[Rudy Peterson]

Hello,

I am a nvim user, and for Lean I am using the lean.nvim plugin.

Whenever I edit a proof there is a moment where the kernel seems to process what I am typing, and warnings and errors on the left side bar disappear, causing the window to violently jolt to the left, and then to the right when the kernel catches up with what I have typed. It keeps jolting left and right every time I type something. Is there a way I can stop this jarring behavior, such as make nvim have a default margin on the left for potential warning and error messages?

Thanks!

[Rudy Peterson]

I think I resolved it by adding the following to my init.lua:

-- Set sign column to always show
vim.opt.signcolumn = "yes"