Home
last modified time | relevance | path

Searched refs:KEYS_PREFERENCE_PAGE (Results 1 – 4 of 4) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/
H A DExtensionFactory.java77 public static final String KEYS_PREFERENCE_PAGE = "keysPreferencePage"; //$NON-NLS-1$ field in ExtensionFactory
164 if (KEYS_PREFERENCE_PAGE.equals(id)) { in create()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/
H A DIWorkbenchHelpContextIds.java203 String KEYS_PREFERENCE_PAGE = PREFIX + "keys_preference_page_context"; //$NON-NLS-1$ field
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/keys/
H A DNewKeysPreferencePage.java466 …rmUI.getWorkbench().getHelpSystem().setHelp(parent, IWorkbenchHelpContextIds.KEYS_PREFERENCE_PAGE); in createContents()
H A DKeysPreferencePage.java513 …rmUI.getWorkbench().getHelpSystem().setHelp(parent, IWorkbenchHelpContextIds.KEYS_PREFERENCE_PAGE); in createContents()