+
+ int newProfileTheme = profile.getThemeId();
+ if (newProfileTheme != Colors.profileThemeId) {
+ Log.d("profiles", String.format("profile theme %d → %d", Colors.profileThemeId,
+ newProfileTheme));
+ profileThemeChanged();
+ Colors.profileThemeId = newProfileTheme;
+ }