Hello, sorry for disturbing, but do You plan to add more updated version of this terminal ? I think there's version 0.3.14 available for linux which allows to customize keybindigs, that miss so much in this version. Thx for Your answer Jan Marek