diff options
author | Jeff Johnston | 2011-10-12 21:55:50 +0000 |
---|---|---|
committer | Jeff Johnston | 2011-10-17 16:44:43 +0000 |
commit | 710eee606ca76d2880a5951450407ee6dcede5e3 (patch) | |
tree | 4d55feecec862a2ea3d5cf679fe95013c7aba3de /valgrind/org.eclipse.linuxtools.valgrind.ui | |
parent | 450702e405201b6c07438d67f574e8d9bff07971 (diff) | |
download | org.eclipse.linuxtools-710eee606ca76d2880a5951450407ee6dcede5e3.tar.gz org.eclipse.linuxtools-710eee606ca76d2880a5951450407ee6dcede5e3.tar.xz org.eclipse.linuxtools-710eee606ca76d2880a5951450407ee6dcede5e3.zip |
Further fixes for bug 360085.
Bug #360085
* plugin.xml: Add new annotation icons for Valgrind markers.
* icons/valgrind-error.gif: New file.
* icons/valgrind-warning.gif: New file.
* icons/valgrind-info.gif: New file.
* plugin.properties: Add new labels for new additions to plugin.xml.
Diffstat (limited to 'valgrind/org.eclipse.linuxtools.valgrind.ui')
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-error.gif | bin | 0 -> 581 bytes | |||
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-info.gif | bin | 0 -> 346 bytes | |||
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-warning.gif | bin | 0 -> 584 bytes | |||
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties | 5 | ||||
-rw-r--r-- | valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.xml | 44 |
5 files changed, 48 insertions, 1 deletions
diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-error.gif b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-error.gif Binary files differnew file mode 100644 index 0000000000..bcbbcd3268 --- /dev/null +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-error.gif diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-info.gif b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-info.gif Binary files differnew file mode 100644 index 0000000000..b4a4b1fa08 --- /dev/null +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-info.gif diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-warning.gif b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-warning.gif Binary files differnew file mode 100644 index 0000000000..fc0981943b --- /dev/null +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/icons/valgrind-warning.gif diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties index 2fff3b4729..e4c2c34ca9 100644 --- a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.properties @@ -2,4 +2,7 @@ view.name.0 = Valgrind Bundle-Vendor.0 = Eclipse Linux Tools Bundle-Name.0 = Valgrind UI Plug-in (Incubation) -extension-point.name.0 = valgrindToolViews
\ No newline at end of file +extension-point.name.0 = valgrindToolViews +marker.editor.error = Valgrind Errors +marker.editor.warning = Valgrind Warnings +marker.editor.info = Valgrind Info
\ No newline at end of file diff --git a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.xml b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.xml index aed9df057c..1fe08feb5c 100644 --- a/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.xml +++ b/valgrind/org.eclipse.linuxtools.valgrind.ui/plugin.xml @@ -31,5 +31,49 @@ </separator> </menuContribution> </extension> + <extension + point="org.eclipse.ui.editors.annotationTypes"> + <type + markerSeverity="2" + markerType="org.eclipse.linuxtools.valgrind.launch.marker" + name="org.eclipse.linuxtools.valgrind.annotation.error" + super="org.eclipse.ui.workbench.texteditor.error"> + </type> + <type + markerSeverity="1" + markerType="org.eclipse.linuxtools.valgrind.launch.marker" + name="org.eclipse.linuxtools.valgrind.annotation.warning" + super="org.eclipse.ui.workbench.texteditor.warning"> + </type> + <type + markerSeverity="0" + markerType="org.eclipse.linuxtools.valgrind.launch.marker" + name="org.eclipse.linuxtools.valgrind.annotation.info" + super="org.eclipse.ui.workbench.texteditor.info"> + </type> + </extension> + <extension + point="org.eclipse.ui.editors.markerAnnotationSpecification"> + <specification + annotationType="org.eclipse.linuxtools.valgrind.annotation.error" + label="%marker.editor.error" + icon="icons/valgrind-error.gif" + quickFixIcon="icons/valgrind_error.gif" + presentationLayer="6"> + </specification> + <specification + annotationType="org.eclipse.linuxtools.valgrind.annotation.warning" + label="%marker.editor.warning" + icon="icons/valgrind-warning.gif" + quickFixIcon="icons/valgrind_warning.gif" + presentationLayer="5"> + </specification> + <specification + annotationType="org.eclipse.linuxtools.valgrind.annotation.info" + label="%marker.editor.info" + icon="icons/valgrind-info.gif" + presentationLayer="4"> + </specification> + </extension> </plugin> |