Searched refs:MARKERS_ID (Results 1 – 3 of 3) sorted by relevance
1025 + 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);
169 public static final String MARKERS_ID = "org.eclipse.ui.ide.MarkersView"; //$NON-NLS-1$; field in MarkerSupportRegistry
115 popupMenuExtender.addMenuId(MarkerSupportRegistry.MARKERS_ID); in testMenuServicePopupContribution()