blob: d00c903953de269627bfb9e0e7173e23f0821cef [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<!--
Copyright (c) 2016 Chalmers | University of Gothenburg, rt-labs and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
Contributors:
Chalmers | University of Gothenburg and rt-labs - initial API and implementation and/or initial documentation
-->
<plugin>
<extension
point="org.eclipse.ui.startup">
<startup
class="org.eclipse.capra.ui.notification.StartUp">
</startup>
</extension>
<extension
point="org.eclipse.ui.ide.markerResolution">
<markerResolutionGenerator
class="org.eclipse.capra.ui.notification.MarkerResolutionGenerator"
markerType="org.eclipse.capra.ui.notification.capraproblemmarker">
</markerResolutionGenerator>
<markerResolutionGenerator
class="org.eclipse.capra.ui.notification.MarkerResolutionGenerator"
markerType="org.eclipse.capra.ui.notifcation.capraFileChangedMarker">
</markerResolutionGenerator>
</extension>
<extension
id="org.eclipse.capra.ui.notification.capraproblemmarker"
point="org.eclipse.core.resources.markers">
<super
type="org.eclipse.core.resources.problemmarker">
</super>
<persistent
value="true">
</persistent>
</extension>
<extension
id="org.eclipse.capra.ui.notifcation.capraFileChangedMarker"
name="fileChangedMarker"
point="org.eclipse.core.resources.markers">
<persistent
value="true">
</persistent>
<super
type="org.eclipse.core.resources.problemmarker">
</super>
</extension>
</plugin>