Android: Как получить идентификатор ресурса текущей темы?

В Android можно получить текущую тему действия как a Resource.Theme объект от getTheme(). Кроме того, можно установить тему на другую с помощью идентификатора ресурса той другой темы, как в setTheme(R.style.Theme_MyTheme).

Но как я узнаю, стоит ли это того - является ли текущей темой уже тот, который я хотел бы установить? Я ищу что-то как getTheme().getResourceId(), для записи чего-то как:

protected void onResume() {
    int newThemeId = loadNewTheme();
    if (newThemeId != getTheme().getResourceId()) { // !!!! How to do this?
        setTheme(newThemeId);
        // and rebuild the gui, which is expensive
    }
}

Какие-либо идеи?