Remove a bit of repetition from hotkey settings