I changed the preferences file and it loaded it. Is there a way to return to default theme from the Themes dialog?