Home
last modified time | relevance | path

Searched refs:MARKERS_ID (Results 1 – 3 of 3) 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/views/markers/
H A DExtendedMarkersView.java1025 + MarkerSupportRegistry.MARKERS_ID);
1028 "toolbar:" + MarkerSupportRegistry.MARKERS_ID); //$NON-NLS-1$
1187 if (!getSite().getId().equals(MarkerSupportRegistry.MARKERS_ID)) {
1188 getSite().registerContextMenu(MarkerSupportRegistry.MARKERS_ID, contextMenu, viewer);
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/views/markers/internal/
H A DMarkerSupportRegistry.java169 public static final String MARKERS_ID = "org.eclipse.ui.ide.MarkersView"; //$NON-NLS-1$; field in MarkerSupportRegistry
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/tests/org.eclipse.ui.tests/Eclipse UI Tests/org/eclipse/ui/tests/menus/
H A DMenuPopulationTest.java115 popupMenuExtender.addMenuId(MarkerSupportRegistry.MARKERS_ID); in testMenuServicePopupContribution()