Function StatusLineEditorStatePanel.onThemeChanged

handle theme change: e.g. reload some themed resources

override void onThemeChanged();