new hotkeys (issue #77)