search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Add g:idris_vim_enable_keymappings_by_default #83

Open aiya000 opened 6 years ago

aiya000 commented 6 years ago

This supports that users turn on/off keymappings by default :smiley: