How to restore the default settings for keyboard shortcuts