+ oldPreferences = Preferences.current();
+
+ currentThemePreferences = new ThemePreferences(currentTheme);
+ // TODO this will change the global preferences; so if another LogicUICanvas redraws, it will use the "new" colors too.
+ Preferences.setPreferences(currentThemePreferences);
+