Home
last modified time | relevance | path

Searched refs:prevTheme (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.java1619 String prevTheme = mConfiguration.getTheme(); in onRenderingTargetChange() local
1658 mConfiguration.setTheme(prevTheme); in onRenderingTargetChange()
1660 selectTheme(prevTheme); in onRenderingTargetChange()