PROBLEM_FILTER (reference) in projects: dports

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

/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 D	MarkerSupportRegistry.java	`87 private static final Object PROBLEM_FILTER = "problemFilter";//$NON-NLS-1$ field in MarkerSupportRegistry 251 if (element.getName().equals(PROBLEM_FILTER)) { in processExtension()`