duplicate hotkeys no longer allowed