change editor to vim as works better than emacs terminal

Joel Grunbaum

2020-10-09 c827ad8feac97fad3b08020ea8230f5049880551

1
2
3
4
extra-keys = [ \
 ['ESC','|','/','HOME','UP','END','-','DEL'], \
 ['TAB','CTRL','ALT','LEFT','DOWN','RIGHT','_','BKSP'] \
]