| <?xml version="1.0" encoding="UTF-8"?> |
| <plugin |
| id="org.eclipse.ui.workbench.texteditor" |
| name="%pluginName" |
| version="2.1.3" |
| provider-name="%providerName" |
| class="org.eclipse.ui.internal.texteditor.TextEditorPlugin"> |
| |
| <runtime> |
| <library name="texteditor.jar"> |
| <export name="*"/> |
| <packages prefixes="org.eclipse.ui.texteditor,org.eclipse.ui.internal.texteditor"/> |
| </library> |
| </runtime> |
| <requires> |
| <import plugin="org.eclipse.text"/> |
| <import plugin="org.eclipse.jface"/> |
| <import plugin="org.eclipse.jface.text"/> |
| <import plugin="org.eclipse.ui.workbench"/> |
| <import plugin="org.eclipse.core.resources"/> |
| </requires> |
| |
| |
| <extension-point id="markerAnnotationSpecification" name="%markerAnnotationSpecification.label" schema="schema/markerAnnotationSpecification.exsd"/> |
| |
| <!-- commands and their bindings --> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| category="org.eclipse.ui.category.navigate" |
| name="%goToLastEditPosition.label" |
| description="%goToLastEditPosition.description" |
| id="org.eclipse.ui.edit.text.gotoLastEditPosition"> |
| </command> |
| <keyBinding |
| string="Ctrl+Q" |
| scope="org.eclipse.ui.globalScope" |
| command="org.eclipse.ui.edit.text.gotoLastEditPosition" |
| configuration="org.eclipse.ui.defaultAcceleratorConfiguration"> |
| </keyBinding> |
| </extension> |
| |
| <!-- action sets --> |
| <extension |
| point="org.eclipse.ui.actionSets"> |
| <actionSet |
| label="%textEditorNavigationActionSet.label" |
| visible="true" |
| id="org.eclipse.ui.edit.text.actionSet.navigation"> |
| <action |
| toolbarPath="org.eclipse.ui.workbench.navigate/history.group" |
| id="gotoLastEditPosition" |
| hoverIcon="icons/full/ctool16/last_edit_pos.gif" |
| class="org.eclipse.ui.internal.texteditor.GotoLastEditPositionAction" |
| definitionId="org.eclipse.ui.edit.text.gotoLastEditPosition" |
| disabledIcon="icons/full/dtool16/last_edit_pos.gif" |
| icon="icons/full/etool16/last_edit_pos.gif" |
| label="%goToLastEditPosition.label" |
| menubarPath="navigate/" |
| helpContextId="goto_last_edit_position_action_context" |
| tooltip="%goToLastEditPosition.tooltip"> |
| </action> |
| </actionSet> |
| </extension> |
| <!-- marker annotation types --> |
| <extension |
| point="org.eclipse.ui.workbench.texteditor.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.error" |
| label="%problems.label" |
| markerType="org.eclipse.core.resources.problemmarker" |
| markerSeverity="2" |
| textPreferenceKey="errorIndication" |
| textPreferenceValue="true" |
| overviewRulerPreferenceKey="errorIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| colorPreferenceKey="errorIndicationColor" |
| colorPreferenceValue="255,0,128" |
| presentationLayer="6" |
| contributesToHeader="true"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.warning" |
| label="%warnings.label" |
| markerType="org.eclipse.core.resources.problemmarker" |
| markerSeverity="1" |
| textPreferenceKey="warningIndication" |
| textPreferenceValue="true" |
| overviewRulerPreferenceKey="warningIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| colorPreferenceKey="warningIndicationColor" |
| colorPreferenceValue="244,200,45" |
| presentationLayer="5" |
| contributesToHeader="true"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.info" |
| label="%infos.label" |
| markerType="org.eclipse.core.resources.problemmarker" |
| textPreferenceKey="infoIndication" |
| textPreferenceValue="false" |
| overviewRulerPreferenceKey="infoIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| colorPreferenceKey="infoIndicationColor" |
| colorPreferenceValue="244,200,45" |
| presentationLayer="4" |
| contributesToHeader="false"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.task" |
| label="%tasks.label" |
| markerType="org.eclipse.core.resources.taskmarker" |
| textPreferenceKey="taskIndication" |
| textPreferenceValue="false" |
| overviewRulerPreferenceKey="taskIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| colorPreferenceKey="taskIndicationColor" |
| colorPreferenceValue="0,128,255" |
| presentationLayer="2" |
| contributesToHeader="false"> |
| </specification> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.bookmark" |
| label="%bookmarks.label" |
| markerType="org.eclipse.core.resources.bookmark" |
| textPreferenceKey="bookmarkIndication" |
| textPreferenceValue="false" |
| overviewRulerPreferenceKey="bookmarkIndicationInOverviewRuler" |
| overviewRulerPreferenceValue="true" |
| colorPreferenceKey="bookmarkIndicationColor" |
| colorPreferenceValue="34,164,99" |
| presentationLayer="1" |
| contributesToHeader="false"> |
| </specification> |
| </extension> |
| </plugin> |