Marker Support

org.eclipse.ui.markerSupport

[Enter the first release in which this extension point appears.]

The Marker Support extension point defines extensions to the workbench tools that show markers such as the problems, bookmarks and tasks views.

<!ELEMENT extension (problemFilter* , subCategoryProvider*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT problemFilter (selectedType)*>

<!ATTLIST problemFilter

enabled       (true | false)

scope         (ON_ANY|ON_SELECTED_ONLY|ON_SELECTED_AND_CHILDREN|ON_ANY_IN_SAME_CONTAINER|ON_WORKING_SET)

onDescription CDATA #IMPLIED

severity      (ERROR|WARNING|INFO)

name          CDATA #REQUIRED

id            CDATA #REQUIRED>

A problem filter is a filter that can be applied to problems.



<!ELEMENT selectedType EMPTY>

<!ATTLIST selectedType

markerId CDATA #IMPLIED>

The selectedTypes are the ids of the marker types selected by default in this filter. If there are no selected types all marker types are enabled. All types not specified in this filter are disabled by default.



<!ELEMENT subCategoryProvider EMPTY>

<!ATTLIST subCategoryProvider

markerType CDATA #IMPLIED

class      CDATA #REQUIRED>

A subCategoryProvider provides a sub category for organizing marker types.



The following is an example of a problem filter definition in the marker support. This example only shows java warnings on the selected element and it's children and filters out those with the String NON-NLS

 

<extension point=

"org.eclipse.ui.ide.markerSupport"

>

<problemFilter name =

"Warnings"

id =

"org.eclipse.example.warningFilter"

enabled =

"true"

scope=

"ON_SELECTED_AND_CHILDREN"

onDescription=

"!NON-NLS"

severity=

"WARNING"

>

<selectedType markerId=

"org.eclipse.core.resources.problemmarker"

/>

</problemFilter>

</extension>

[Enter API information here.]

[Enter information about supplied implementation of this extension point.]