Home
last modified time | relevance | path

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

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/
H A DIJavaHelpContextIds.java335 …public static final String CP_USERLIBRARIES_PREFERENCE_PAGE= PREFIX + "cp_userlibraries_preferen… field
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/
H A DUserLibraryPreferencePage.java861 …ench().getHelpSystem().setHelp(getControl(), IJavaHelpContextIds.CP_USERLIBRARIES_PREFERENCE_PAGE); in createControl()