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