Fixed problem with loading and saving editor theme properties, and loading the default theme.