Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/preferences/
DAdtPrefs.java111 private int mPreferXmlEditor; field in AdtPrefs
214 mPreferXmlEditor = mStore.getInt(PREFS_PREFER_XML); in loadValues()
547 return (mPreferXmlEditor & editorType) != 0; in isXmlEditorPreferred()
563 mPreferXmlEditor |= editorType; in setXmlEditorPreferred()
565 mPreferXmlEditor &= ~editorType; in setXmlEditorPreferred()
567 assert ((mPreferXmlEditor & editorType) != 0) == xml; in setXmlEditorPreferred()