diff options
| author | Tod Creasey | 2007-11-05 18:52:30 +0000 |
|---|---|---|
| committer | Tod Creasey | 2007-11-05 18:52:30 +0000 |
| commit | 3ca092e4b5ba9317c0fe6dae2de58c2394edb5ed (patch) | |
| tree | 59e7129c6916c8bcbf40fa27df72e682b881894e /bundles/org.eclipse.ui.ide/schema | |
| parent | ced677d7bd783e34bdec70a70c81b2b724ecfea0 (diff) | |
| download | eclipse.platform.ui-3ca092e4b5ba9317c0fe6dae2de58c2394edb5ed.tar.gz eclipse.platform.ui-3ca092e4b5ba9317c0fe6dae2de58c2394edb5ed.tar.xz eclipse.platform.ui-3ca092e4b5ba9317c0fe6dae2de58c2394edb5ed.zip | |
Fix for Bug 205497 [Markers] Change the old marker view references to the new one
Diffstat (limited to 'bundles/org.eclipse.ui.ide/schema')
| -rw-r--r-- | bundles/org.eclipse.ui.ide/schema/markerSupport.exsd | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bundles/org.eclipse.ui.ide/schema/markerSupport.exsd b/bundles/org.eclipse.ui.ide/schema/markerSupport.exsd index 0a2895d5d53..c1b79496da4 100644 --- a/bundles/org.eclipse.ui.ide/schema/markerSupport.exsd +++ b/bundles/org.eclipse.ui.ide/schema/markerSupport.exsd @@ -522,6 +522,13 @@ If this value is not set the value is ON_ANY </restriction> </simpleType> </attribute> + <attribute name="enabled" type="boolean"> + <annotation> + <documentation> + The enabled flag determines whether or not the receiver is on by default. If this value is not specified it is assumed to be true. + </documentation> + </annotation> + </attribute> </complexType> </element> |