The org.eclipse.ui.ide.markerSupport extension point provides facilities for controlling how markers are displayed and organized in the UI. This extension point handles filters and grouping in views such as the Problems view.
Filters
The Problems view supports multiple filters at once. When multiple filters are enabled, any marker that matches one or more filters will be displayed. New filters can be added using the problemFilter element or manually by the user. Below is the filters section of the Problems view showing user filters and filters added via the extension point (system filters).
Groups
Markers can be grouped in two ways. The first way is to group marker types
into groups using the markerTypeCategory
element. This is shown
when the user selects Group By > Type. Below is an example showing Java
Problems and some using a test grouping.
When marker types are grouped together they will be shown in those groups in the filters dialog.
You can also create your own grouping using the markerGrouping
element, which will show up as an extra entry in the Group By menu of the
Problems view. The IDE provides a grouping based on severity (the default).
The Java development tools provide a Java Type grouping.
markerGroupings
are resolved by checking attributes on the IMarker.
markerAttributeMappings
are used to specify these mappings. Below
is the Group By menu with the extra markerGroupings
that have been
added. The Problems view is currently grouped by severity.