diff options
| author | Alexander Kurtakov | 2012-04-25 23:12:55 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2012-04-25 23:12:55 +0000 |
| commit | 6b63625a0af896bde46da2053ca84f89c18cb4ef (patch) | |
| tree | c87b4ed75c71db0d57e66c5a4c7d090d6938335f /rpm | |
| parent | 80c3b08139a57ef3d78e4140a223b0fe5d24ab28 (diff) | |
| download | org.eclipse.linuxtools-6b63625a0af896bde46da2053ca84f89c18cb4ef.tar.gz org.eclipse.linuxtools-6b63625a0af896bde46da2053ca84f89c18cb4ef.tar.xz org.eclipse.linuxtools-6b63625a0af896bde46da2053ca84f89c18cb4ef.zip | |
Fix warning in extension points.
Diffstat (limited to 'rpm')
| -rw-r--r-- | rpm/org.eclipse.linuxtools.rpm.ui.editor/plugin.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rpm/org.eclipse.linuxtools.rpm.ui.editor/plugin.xml b/rpm/org.eclipse.linuxtools.rpm.ui.editor/plugin.xml index c17cdad03a..8a0e17b97a 100644 --- a/rpm/org.eclipse.linuxtools.rpm.ui.editor/plugin.xml +++ b/rpm/org.eclipse.linuxtools.rpm.ui.editor/plugin.xml @@ -179,6 +179,14 @@ point="org.eclipse.core.runtime.preferences"> <initializer class="org.eclipse.linuxtools.internal.rpm.ui.editor.preferences.PreferenceInitializer"/> </extension> + <extension + point="org.eclipse.ui.editors.annotationTypes"> + <type + name="org.eclipse.linuxtools.rpm.ui.editor.highlightannotation" + super="org.eclipse.ui.workbench.texteditor.info"> + <!--markerSeverity="0"--> + </type> + </extension> <extension point="org.eclipse.ui.editors.markerAnnotationSpecification"> |