search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

Bind tab to enter tooltips. #150

Closed Julian closed 3 years ago

Julian commented 3 years ago

Perhaps in preparation for shift-tab moving backwards through them?

gebner commented 3 years ago

Sounds good to me, also the shift-tab binding.