Home
last modified time | relevance | path

Searched refs:PREFS_DEVTREE_DIR (Results 1 – 2 of 2) sorted by relevance

/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/internal/preferences/
DPrefPage.java30 public final static String PREFS_DEVTREE_DIR = PdtPlugin.PLUGIN_ID + ".devtree"; //$NON-NLS-1$ field in PrefPage
43 mDirectoryField = new DirectoryFieldEditor(PREFS_DEVTREE_DIR, in createFieldEditors()
/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/
DPdtPlugin.java55 if (PrefPage.PREFS_DEVTREE_DIR.equals(event.getProperty())) { in start()
72 String devTree = store.getString(PrefPage.PREFS_DEVTREE_DIR); in getDevTree()