search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
278 stars 27 forks source link

Show a sign column indicator for how far the cursor is from where is being processed #349

Closed Julian closed 2 months ago

Julian commented 2 months ago

Zulip context: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/lean.2Envim/near/459526004

Julian commented 2 months ago

Fixed alongside #350.