I Accidentally Deleted a Stock Terminal Theme I accidentally deleted a stock Apple terminal theme that I'd like to get back.  The one I accidentally deleted is called "Pro" (under the Profiles tab in the Terminal settings).  Is there a way to get this back without having to go through an entire installation?
Click the gear icon in the "Profiles" tab and select the option "Restore Default Profiles."