diff options
author | Bogdan Gheorghe | 2004-03-31 07:57:18 +0000 |
---|---|---|
committer | Bogdan Gheorghe | 2004-03-31 07:57:18 +0000 |
commit | 5c3d8fdb41948b0b9be7acf9eded59d2ea88c0d8 (patch) | |
tree | fcd945d717e94748f165c8ae71f9703c7905d679 /core/org.eclipse.cdt.core/plugin.xml | |
parent | 5cfae571a109b24d6837d75b3c63dd39058a055f (diff) | |
download | org.eclipse.cdt-5c3d8fdb41948b0b9be7acf9eded59d2ea88c0d8.tar.gz org.eclipse.cdt-5c3d8fdb41948b0b9be7acf9eded59d2ea88c0d8.tar.xz org.eclipse.cdt-5c3d8fdb41948b0b9be7acf9eded59d2ea88c0d8.zip |
Fix annotations in overview bar, added index IProblem markers, added new preference page for controlling external search markers
Diffstat (limited to 'core/org.eclipse.cdt.core/plugin.xml')
-rw-r--r-- | core/org.eclipse.cdt.core/plugin.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/core/org.eclipse.cdt.core/plugin.xml b/core/org.eclipse.cdt.core/plugin.xml index cb41df5a023..76653bc99e9 100644 --- a/core/org.eclipse.cdt.core/plugin.xml +++ b/core/org.eclipse.cdt.core/plugin.xml @@ -268,5 +268,19 @@ value="true"> </persistent> </extension> + <extension + id="indexermarker" + name="%IndexerMarker" + point="org.eclipse.core.resources.markers"> + <super + type="org.eclipse.core.resources.problemmarker"> + </super> + <persistent + value="true"> + </persistent> + <super + type="org.eclipse.core.resources.textmarker"> + </super> + </extension> </plugin> |