Hotkeys now available from shell div.