Definitely stealing those hotkeys for my own terminal emulator! Was wanting similar functionality but wasn't sure of the shortcuts to use.