Home
last modified time | relevance | path

Searched refs:BOOKMARKS_GENERATOR (Results 1 – 2 of 2) 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 DBookmarksView.java36 super(MarkerSupportRegistry.BOOKMARKS_GENERATOR); in BookmarksView()
/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.java149 …public static final String BOOKMARKS_GENERATOR = "org.eclipse.ui.ide.bookmarksGenerator"; //$NON-N… field in MarkerSupportRegistry