Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/
DPdtPlugin.java20 import com.android.ide.eclipse.pdt.internal.preferences.PrefPage;
55 if (PrefPage.PREFS_DEVTREE_DIR.equals(event.getProperty())) { in start()
72 String devTree = store.getString(PrefPage.PREFS_DEVTREE_DIR); in getDevTree()
/sdk/eclipse/plugins/com.android.ide.eclipse.pdt/src/com/android/ide/eclipse/pdt/internal/preferences/
DPrefPage.java27 public class PrefPage extends FieldEditorPreferencePage implements class
34 public PrefPage() { in PrefPage() method in PrefPage