Home
last modified time | relevance | path

Searched refs:isXmlEditorPreferred (Results 1 – 2 of 2) 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() method in AdtPrefs
561 if (xml != isXmlEditorPreferred(editorType)) { in setXmlEditorPreferred()
/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/
DAndroidXmlEditor.java458 } else if (AdtPrefs.getPrefs().isXmlEditorPreferred(getPersistenceCategory())) {