Searched refs:PREFS_PREFER_XML (Results 1 – 1 of 1) sorted by relevance
59 public final static String PREFS_PREFER_XML = AdtPlugin.PLUGIN_ID + ".xmlEditor"; //$NON-NLS-1$ field in AdtPrefs213 if (property == null || PREFS_PREFER_XML.equals(property)) { in loadValues()214 mPreferXmlEditor = mStore.getInt(PREFS_PREFER_XML); in loadValues()569 store.setValue(PREFS_PREFER_XML, xml); in setXmlEditorPreferred()