blob: dde18f4697b5d17e522655221ba39d880c946dba [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
<extension
point="org.eclipse.ui.editors">
<editor
class="org.eclipse.osee.ote.ui.output.editors.OteOutput"
contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor"
extensions="tmo"
id="org.eclipse.osee.ote.output.editor.editors.OteOutput"
name="Ote Output Editor">
</editor>
</extension>
<extension id="errorMarker" name="OTE Test Failure"
point="org.eclipse.core.resources.markers">
<super type="org.eclipse.core.resources.problemmarker"> </super>
<super type="org.eclipse.core.resources.textmarker"> </super>
</extension>
<!-- this changes the marker image in the editor marker bar -->
<extension point="org.eclipse.ui.editors.annotationTypes">
<type markerType="org.eclipse.osee.ote.ui.output.errorMarker"
name="org.eclipse.osee.ote.ui.output.errorMarkerAnnotation">
</type>
</extension>
<extension
point="org.eclipse.ui.editors.markerAnnotationSpecification">
<specification
annotationType="org.eclipse.osee.ote.ui.output.errorMarkerAnnotation"
icon="images/red_bug.gif"
textPreferenceKey="errorAppIndication"
textPreferenceValue="true"
overviewRulerPreferenceKey="errorAppIndicationInOverviewRuler"
overviewRulerPreferenceValue="true"
verticalRulerPreferenceKey="errorAppIndicationInVerticalRuler"
verticalRulerPreferenceValue="true"
highlightPreferenceKey="errorAppHighlighting"
highlightPreferenceValue="false"
colorPreferenceKey="errorAppIndicationColor"
colorPreferenceValue="255,149,149"
presentationLayer="3"
symbolicIcon="error"
showInNextPrevDropdownToolbarAction="false"
includeOnPreferencePage="true"
isGoToPreviousNavigationTargetKey="iserrorAppGoToPreviousNavigationTarget"
label="OTE Test Failure"
showInNextPrevDropdownToolbarActionKey="showerrorAppInNextPrevDropdownToolbarAction"
isGoToNextNavigationTargetKey="iserrorAppRecordGoToNextNavigationTarget">
</specification>
</extension>
<extension
point="org.eclipse.ui.preferencePages">
<page
category="org.eclipse.osee.framework.ui.skynet.OseePreferencePage"
class="org.eclipse.osee.ote.ui.output.preferences.OutputPreferencePage"
id="org.eclipse.osee.ote.ui.output.PreferencePage"
name="OTE Output Viewer"/>
</extension>
</plugin>