Fixed issue where the last color or font style was used instead of the
default color or font style when changing theme, as a color or style
setting was loaded as <null>.
Fixed issue where the theme properties were not updated on-the-fly when
changing the font name, font style, and font size in the Editor Font and
Colors Dialog.