I have : remapped to ,. These key bindings would not function for me until I added the nore prefix to map, which prevents vim from expanding my personal mappings when evaluating the idris-vim mappings.
I also changed the key bindings to normal mode only. As far as I can tell, the bindings will only work in normal mode.
I have : remapped to ,. These key bindings would not function for me until I added the
nore
prefix tomap
, which prevents vim from expanding my personal mappings when evaluating the idris-vim mappings.I also changed the key bindings to normal mode only. As far as I can tell, the bindings will only work in normal mode.