Home
last modified time | relevance | path

Searched refs:oldTheme (Results 1 – 1 of 1) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/configuration/
DConfigurationChooser.java1636 String oldTheme = mConfiguration.getTheme(); in onRenderingTargetChange() local
1640 if (!Objects.equal(oldTheme, mConfiguration.getTheme())) { in onRenderingTargetChange()