search

Julian / lean.nvim

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

fix normal[^!] bug #292

Closed ghost closed 1 year ago

ghost commented 1 year ago

Use normal! instead of normal to avoid bugs caused by custom mappings.

Julian commented 1 year ago

Thanks! We may be on new enough nvim now that we can avoid using vim.cmd entirely here I forget... but certainly better than before.