UI Nits: Style selection wonky

The splash screens broke the setting of the style selector
in the toolbar. They got out of sync. This fixes that.
FWIW, I introduced the bug!