search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

<LocalLeader>t resets cursor location to beginning of line #35

Closed LeifW closed 7 years ago

LeifW commented 9 years ago

Example:

blah : a -> a
blah x = ?foo

Typing \t on foo resets the cursor location to the start of the line, the b in blah.

srenatus commented 8 years ago

I've tried reproducing this with master, and failed: screencast (where I keep doing <LocalLeader>t in different parts of the line).

dkasak commented 7 years ago

This happens for me too with the latest master.

eraserhd commented 7 years ago

This happens for me with neovim.

dkasak commented 7 years ago

FWIW, I'm using neovim too.