Home
last modified time | relevance | path

Searched defs:preferences (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/formatting/
DEclipseXmlFormatPreferences.java102 Preferences preferences = XMLCorePlugin.getDefault().getPluginPreferences(); in getOneIndentUnit() local
/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
DGraphicalEditorPart.java383 PluginFlyoutPreferences preferences; in createPartControl() local
1110 PluginFlyoutPreferences preferences; in syncDockingState() local