improvements: new option terminal_disable_popup_menu, and possibility to disable key bindings.