some hotkeys for tabs in terminal