when the profiles use different themes this kind of worked as a side
effect of activity restart, but when the profiles use the same theme
the drawer remains open making it seem that something didn't work
}
else mProfileListAdapter.notifyDataSetChanged();
+ collapseProfileList();
+
int newProfileTheme = profile.getThemeId();
if (newProfileTheme != Colors.profileThemeId) {
Log.d("profiles", String.format("profile theme %d → %d", Colors.profileThemeId,
profileThemeChanged();
Colors.profileThemeId = newProfileTheme;
}
+ else
+ drawer.closeDrawers();
});
});
Data.profiles.addObserver((o, arg) -> {