search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Keep cursor position when updating response buffer #78

Closed eraserhd closed 6 years ago

eraserhd commented 6 years ago

Closes #35

It's possible that this is only needed for neovim, but it works just fine with plain Vim as well.

It's the switching of buffers that sends the cursor to column zero.

melted commented 6 years ago

Thanks!