PreferenceGroup (definition) in projects: dports

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/
H A D	ResourceDragAndDropEditor.java	`32 static class PreferenceGroup class in ResourceDragAndDropEditor 41 public PreferenceGroup(String title, String pref, String[] labels, String[] values) { in PreferenceGroup() method in ResourceDragAndDropEditor.PreferenceGroup`