Added front-end support for overriding hotkeys