| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| <extension-point id="annotationHover" name="Annotation Hover" schema="schema/annotationHover.exsd"/> |
| <extension-point id="autoEditStrategy" name="Auto-Edit Strategy" schema="schema/autoEditStrategy.exsd"/> |
| <extension-point id="contentProposer" name="IMP Content Proposer" schema="schema/contentProposer.exsd"/> |
| <extension-point id="contextHelper" name="Context Helper" schema="schema/contextHelper.exsd"/> |
| <extension-point id="documentationProvider" name="Documentation Provider" schema="schema/documentationProvider.exsd"/> |
| <extension-point id="editorActionContributions" name="Editor Action Contributions" schema="schema/editorActionContributions.exsd"/> |
| <extension-point id="editorService" name="IMP Editor Service" schema="schema/editorService.exsd"/> |
| <extension-point id="entityImageDecorator" name="Entity Image Decorator" schema="schema/entityImageDecorator.exsd"/> |
| <extension-point id="entityNameLocator" name="Entity Name Locator" schema="schema/entityNameLocator.exsd"/> |
| <extension-point id="foldingUpdater" name="IMP Source Folding Updater" schema="schema/foldingUpdater.exsd"/> |
| <extension-point id="formatter" name="IMP Source Code Formatter" schema="schema/formatter.exsd"/> |
| <extension-point id="hoverHelper" name="IMP Hover Helper" schema="schema/hoverHelper.exsd"/> |
| <extension-point id="hyperLink" name="IMP Hyperlink Detector" schema="schema/hyperLink.exsd"/> |
| <extension-point id="imageDecorator" name="Image Decorator" schema="schema/imageDecorator.exsd"/> |
| <extension-point id="indexContributor" name="Shared index of language-specific items, such as types" schema="schema/indexContributor.exsd"/> |
| <extension-point id="labelProvider" name="Label Provider" schema="schema/labelProvider.exsd"/> |
| <extension-point id="languageDescription" name="Description of a programming language" schema="schema/languageDescription.exsd"/> |
| <extension-point id="markOccurrences" name="Mark Occurrences" schema="schema/markOccurrences.exsd"/> |
| <extension-point id="modelListener" name="Listener for model changes" schema="schema/modelListener.exsd"/> |
| <extension-point id="modelTreeBuilder" name="Model Tree Builder" schema="schema/modelTreeBuilder.exsd"/> |
| <extension-point id="outlineContentProvider" name="Outline Content Provider" schema="schema/outlineContentProvider.exsd"/> |
| <extension-point id="outliner" name="IMP Outliner" schema="schema/outliner.exsd"/> |
| <extension-point id="parser" name="Language-specific parser" schema="schema/parser.exsd"/> |
| <extension-point id="refactoringContributions" name="Refactoring Contributions" schema="schema/refactoringContributions.exsd"/> |
| <extension-point id="referenceResolvers" name="IMP Reference Resolver" schema="schema/referenceResolvers.exsd"/> |
| <extension-point id="toggleBreakpointHandler" name="Toggle Breakpoint Handler" schema="schema/toggleBreakpointHandler.exsd"/> |
| <extension-point id="tokenColorer" name="IMP Token Colorer" schema="schema/tokenColorer.exsd"/> |
| <extension-point id="viewerFilter" name="Program Entity Viewer Filter" schema="schema/viewerFilter.exsd"/> |
| |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| name="IMP Editor" |
| icon="icons/IMP-editor.gif" |
| extensions="txt" |
| contributorClass="org.eclipse.imp.editor.internal.TextEditorActionContributor" |
| class="org.eclipse.imp.editor.UniversalEditor" |
| id="org.eclipse.imp.runtime.impEditor"> |
| </editor> |
| </extension> |
| <extension |
| id="org.eclipse.imp.startup" |
| name="IMP Runtime Startup" |
| point="org.eclipse.ui.startup"> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editorActions"> |
| <editorContribution |
| targetID="org.eclipse.imp.runtime.impEditor" |
| id="imp.rulerActions"> |
| <action |
| label="Not Used" |
| class="org.eclipse.debug.ui.actions.RulerToggleBreakpointActionDelegate" |
| style="push" |
| actionID="RulerDoubleClick" |
| id="imp.doubleClickBreakpointAction"/> |
| </editorContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| markerSeverity="1" |
| name="org.eclipse.imp.editor.parseAnnotation" |
| super="org.eclipse.ui.workbench.texteditor.error"/> |
| <type |
| markerSeverity="1" |
| name="org.eclipse.imp.runtime.occurrenceAnnotation" |
| super="org.eclipse.ui.workbench.texteditor.error"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.imp.editor.parseAnnotation" |
| colorPreferenceKey="parseAnnotationColor" |
| colorPreferenceValue="255,128,147" |
| contributesToHeader="false" |
| highlightPreferenceKey="parseAnnotationHighlightKey" |
| highlightPreferenceValue="false" |
| includeOnPreferencePage="true" |
| isGoToNextNavigationTarget="true" |
| isGoToNextNavigationTargetKey="parseAnnotationIsGotoNextKey" |
| isGoToPreviousNavigationTarget="true" |
| isGoToPreviousNavigationTargetKey="parseAnnotationIsGotoPrevKey" |
| label="IMP Parser Annotation" |
| overviewRulerPreferenceKey="parseAnnotationOverviewKey" |
| overviewRulerPreferenceValue="true" |
| presentationLayer="2" |
| showInNextPrevDropdownToolbarAction="true" |
| symbolicIcon="error" |
| textPreferenceKey="parseAnnotationTextKey" |
| textPreferenceValue="true" |
| textStylePreferenceKey="parseAnnotationTextStyleKey" |
| textStylePreferenceValue="SQUIGGLES" |
| verticalRulerPreferenceKey="parseAnnotationVerticalKey" |
| verticalRulerPreferenceValue="false"/> |
| </extension> |
| <!-- |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| class="org.eclipse.imp.preferences.PreferencePage" |
| id="org.eclipse.imp.runtime.preferencePage" |
| name="IMP"/> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer class="org.eclipse.imp.preferences.PreferenceInitializer"/> |
| </extension> |
| --> |
| <extension |
| point="org.eclipse.ui.bindings"> |
| <key |
| commandId="org.eclipse.imp.runtime.editor.showOutline" |
| contextId="org.eclipse.ui.textEditorScope" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |
| sequence="M1+O"/> |
| <key |
| commandId="org.eclipse.imp.runtime.editor.toggleComment" |
| contextId="org.eclipse.ui.contexts.window" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |
| sequence="M1+/"/> |
| <key |
| commandId="org.eclipse.imp.runtime.editor.indentSelection" |
| contextId="org.eclipse.ui.contexts.window" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |
| sequence="M1+I"/> |
| <key |
| commandId="org.eclipse.imp.runtime.editor.formatSource" |
| contextId="org.eclipse.ui.textEditorScope" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration" |
| sequence="M1+M2+F"/> |
| <key |
| sequence="M1+M3+P" |
| contextId="org.eclipse.ui.textEditorScope" |
| commandId="org.eclipse.imp.runtime.editor.gotoMatchingFence" |
| schemeId="org.eclipse.ui.defaultAcceleratorConfiguration"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| categoryId="org.eclipse.ui.category.navigate" |
| description="Show the quick outline for the editor input" |
| id="org.eclipse.imp.runtime.editor.showOutline" |
| name="Show Outline"/> |
| <command |
| name="Collapse Members" |
| description="Collapses all members in the current source file" |
| categoryId="org.eclipse.ui.category.textEditor" |
| id="org.eclipse.imp.runtime.editor.folding.collapseMembers"> |
| </command> |
| <command |
| name="Collapse Comments" |
| description="Collapses all multi-line comments in the current source file" |
| categoryId="org.eclipse.ui.category.textEditor" |
| id="org.eclipse.jdt.ui.edit.text.java.folding.collapseComments"> |
| </command> |
| <command |
| categoryId="org.eclipse.imp.runtime.source" |
| description="Comments/uncomments the current selection or the current source line" |
| id="org.eclipse.imp.runtime.editor.toggleComment" |
| name="Toggle Comment"/> |
| <command |
| categoryId="org.eclipse.imp.runtime.source" |
| description="Format the source code" |
| id="org.eclipse.imp.runtime.editor.formatSource" |
| name="Format"/> |
| <command |
| name="Go to Matching Fence" |
| description="Moves the cursor to the matching fence character, if any" |
| categoryId="org.eclipse.ui.category.navigate" |
| id="org.eclipse.imp.runtime.editor.gotoMatchingFence"> |
| </command> |
| <command |
| categoryId="org.eclipse.imp.runtime.source" |
| description="Re-indent the selected text" |
| id="org.eclipse.imp.runtime.editor.indentSelection" |
| name="Indent Selection"> |
| </command> |
| <category |
| id="org.eclipse.imp.runtime.source" |
| name="Source"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.actionSets"> |
| <actionSet |
| id="org.eclipse.imp.runtime.refactoringActions" |
| label="IMP Refactoring Actions" |
| visible="true"> |
| <menu |
| id="org.eclipse.imp.refactoring" |
| label="Refactor"> |
| <separator name="org.eclipse.imp.refactoring"/> |
| </menu> |
| <action |
| class="org.eclipse.imp.editor.MarkOccurrencesAction" |
| icon="icons/mark_occurrences.gif" |
| id="org.eclipse.imp.runtime.actions.markOccurrencesAction" |
| label="&Toggle Mark Occurrences" |
| state="false" |
| style="toggle" |
| toolbarPath="sampleGroup" |
| tooltip="Toggles marking occurrences of the given entity"/> |
| </actionSet> |
| </extension> |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.imp.runtime.occurrenceAnnotation" |
| colorPreferenceKey="occurrenceColorPreference" |
| colorPreferenceValue="0,255,128" |
| contributesToHeader="false" |
| highlightPreferenceKey="occurrenceHighlightKey" |
| highlightPreferenceValue="true" |
| includeOnPreferencePage="true" |
| isGoToNextNavigationTarget="true" |
| isGoToNextNavigationTargetKey="occurrenceAnnotationIsGotoNextKey" |
| isGoToPreviousNavigationTarget="true" |
| isGoToPreviousNavigationTargetKey="occurrenceAnnotationIsGotoPrevKey" |
| label="Occurrences" |
| overviewRulerPreferenceKey="occurrenceOverviewRulerPreference" |
| overviewRulerPreferenceValue="true" |
| presentationLayer="4" |
| showInNextPrevDropdownToolbarAction="true" |
| textPreferenceKey="occurrenceTextPreference" |
| textPreferenceValue="true" |
| textStylePreferenceKey="parseAnnotationTextStyleKey" |
| textStylePreferenceValue="UNDERLINE" |
| verticalRulerPreferenceKey="occurrenceVerticalRulerPreference" |
| verticalRulerPreferenceValue="true"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension targetID="org.eclipse.jdt.ui.JavaPerspective"> |
| <showInPart id="org.eclipse.imp.runtime.projectExplorerView"/> |
| </perspectiveExtension> |
| </extension> |
| <extension |
| point="org.eclipse.core.runtime.preferences"> |
| <initializer |
| class="org.eclipse.imp.preferences.PreferenceInitializer"> |
| </initializer> |
| </extension> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| name="IMP" |
| class="org.eclipse.imp.preferences.PreferencePage" |
| id="org.eclipse.imp.runtime.preferencePage"> |
| </page> |
| </extension> |
| </plugin> |
