Dans Android, vous pouvez obtenir le thème actuel d'une activité en Resource.Theme
objet de getTheme()
. En outre, vous pouvez définir le thème sur un autre via l'ID de ressource de cet autre thème, comme dans setTheme(R.style.Theme_MyTheme)
.
Mais comment savoir si cela en vaut la peine, si le thème actuel est déjà celui que je voudrais définir ? Je cherche quelque chose comme getTheme().getResourceId()
, afin d'écrire quelque chose comme :
protected void onResume() {
int newThemeId = loadNewTheme();
if (newThemeId != getTheme().getResourceId()) { // !!!! How to do this?
setTheme(newThemeId);
// and rebuild the gui, which is expensive
}
}
Des idées?