Merge branch 'master' into HEAD

Joel Grunbaum

2021-12-13 8581e6bcbab9eb18eb8dadb1cb42a5a0af7fb62d

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