Adds an option to the Tools menu for selecting a theme of shortcuts.