blob: a3e3a7befd49481116f9dec2396ce8c4da18be6a [file] [log] [blame]
<?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="&amp;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>