Home
last modified time | relevance | path

Searched refs:editorType (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.java546 public boolean isXmlEditorPreferred(int editorType) { in isXmlEditorPreferred() argument
547 return (mPreferXmlEditor & editorType) != 0; in isXmlEditorPreferred()
560 public void setXmlEditorPreferred(int editorType, boolean xml) { in setXmlEditorPreferred() argument
561 if (xml != isXmlEditorPreferred(editorType)) { in setXmlEditorPreferred()
563 mPreferXmlEditor |= editorType; in setXmlEditorPreferred()
565 mPreferXmlEditor &= ~editorType; in setXmlEditorPreferred()
567 assert ((mPreferXmlEditor & editorType) != 0) == xml; in setXmlEditorPreferred()