Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2004-04-15 18:42:25 +0000
committerteicher2004-04-15 18:42:25 +0000
commit49d3a442f4b8fd21af5ac6ca06d7bfceb1b023dc (patch)
tree934e203c65fd2b7e4ba4b0342b5dc3c0c9892310 /org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
parentc9977b003d047ae180f1dadf96d1cf096f5a5b7e (diff)
downloadeclipse.platform.text-49d3a442f4b8fd21af5ac6ca06d7bfceb1b023dc.tar.gz
eclipse.platform.text-49d3a442f4b8fd21af5ac6ca06d7bfceb1b023dc.tar.xz
eclipse.platform.text-49d3a442f4b8fd21af5ac6ca06d7bfceb1b023dc.zip
added includeOnPreferencePage attribute to markerAnnotationSpecification extension point
see pr 45636
Diffstat (limited to 'org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd')
-rw-r--r--org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd7
1 files changed, 7 insertions, 0 deletions
diff --git a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
index 2c95735d4..d3ab02233 100644
--- a/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
+++ b/org.eclipse.ui.editors/schema/markerAnnotationSpecification.exsd
@@ -271,6 +271,13 @@ since: 3.0
</restriction>
</simpleType>
</attribute>
+ <attribute name="includeOnPreferencePage" type="boolean" use="default" value="true">
+ <annotation>
+ <documentation>
+ Defines whether this annotation type should be configurable via the standard annotation preference page. Default is true.
+ </documentation>
+ </annotation>
+ </attribute>
</complexType>
</element>

Back to the top