idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Ensure default mappings don't echo command #51

Closed GuiltyDolphin closed 8 years ago

GuiltyDolphin commented 8 years ago

Without <silent> the mappings display the command being executed in the command-line. For example using <localleader>i with a response window already open displays :call IdrisResponseWin() in the command-line.