Cleaned up where default theme name is read from in the setting dialog... More like reverting.