Home
last modified time | relevance | path

Searched defs: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()
560 public void setXmlEditorPreferred(int editorType, boolean xml) { in setXmlEditorPreferred()