search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

buffer local mapping only #53

Closed srenatus closed 7 years ago

srenatus commented 7 years ago

Not a vim expert, but this suggests it's the right thing. It's a bit weird to have \t (try to) work in all files.

melted commented 7 years ago

Thanks!

I'll poke @david-christiansen or @edwinb about giving you write access to this.