| <?xml version="1.0" encoding="UTF-8"?> |
| <plugin |
| id="org.eclipse.ui.examples.javaeditor" |
| name="%pluginName" |
| version="3.0.0" |
| provider-name="%providerName" |
| class="org.eclipse.ui.examples.javaeditor.JavaEditorExamplePlugin"> |
| |
| <runtime> |
| <library name="javaeditorexample.jar"> |
| <export name="*"/> |
| </library> |
| </runtime> |
| <requires> |
| <import plugin="org.eclipse.ui"/> |
| <import plugin="org.eclipse.core.resources"/> |
| <import plugin="org.eclipse.core.filebuffers"/> |
| </requires> |
| |
| |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| name="%javaEditorName" |
| icon="icons/obj16/java.gif" |
| extensions="%javaFileExtensions" |
| contributorClass="org.eclipse.ui.examples.javaeditor.JavaActionContributor" |
| class="org.eclipse.ui.examples.javaeditor.JavaEditor" |
| id="org.eclipse.ui.JavaEditor"> |
| </editor> |
| </extension> |
| |
| <extension |
| id="ExampleJavaDocumentSetupParticipant" |
| name="%documentSetupParticipantName" |
| point="org.eclipse.core.filebuffers.documentSetup"> |
| <participant |
| extensions="%javaFileExtensions" |
| class="org.eclipse.ui.examples.javaeditor.JavaDocumentSetupParticipant"> |
| </participant> |
| </extension> |
| <extension |
| point="org.eclipse.ui.workbench.texteditor.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.ui.workbench.texteditor.spelling" |
| label="%spelling.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" |
| showInNextPrevDropdownToolbarActionKey="showWarningInNextPrevDropdownToolbarAction" |
| showInNextPrevDropdownToolbarAction="true" |
| isGoToNextNavigationTargetKey="isWarningGoToNextNavigationTarget" |
| isGoToNextNavigationTarget="true" |
| isGoToPreviousNavigationTargetKey="isWarningGoToPreviousNavigationTarget" |
| isGoToPreviousNavigationTarget="true"> |
| </specification> |
| </extension> |
| </plugin> |