| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| class="org.eclipse.epsilon.pinset.dt.editor.PinsetEditor" |
| contributorClass="org.eclipse.ui.texteditor.BasicTextEditorActionContributor" |
| default="true" |
| extensions="pinset" |
| icon="icons/edl.png" |
| id="org.eclipse.epsilon.pinset.dt.editor.PinsetEditor" |
| name="Pinset Language Editor"/> |
| </extension> |
| <extension |
| point="org.eclipse.debug.ui.launchConfigurationTypeImages"> |
| <launchConfigurationTypeImage |
| configTypeID="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationDelegate" |
| icon="icons/edl.png" |
| id="Pinset File"/> |
| </extension> |
| |
| <extension |
| point="org.eclipse.debug.core.launchConfigurationTypes"> |
| <launchConfigurationType |
| delegate="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationDelegate" |
| id="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationDelegate" |
| modes="run, debug" |
| name="Pinset File"/> |
| </extension> |
| <extension |
| point="org.eclipse.debug.ui.launchConfigurationTabGroups"> |
| <launchConfigurationTabGroup |
| class="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationTabGroup" |
| description="Create a configuration to launch a Pinset File" |
| id="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationTabGroup" |
| type="org.eclipse.epsilon.pinset.dt.launching.PinsetLaunchConfigurationDelegate"/> |
| </extension> |
| <extension |
| point="org.eclipse.ui.newWizards"> |
| <wizard |
| category="org.eclipse.epsilon.dt" |
| class="org.eclipse.epsilon.pinset.dt.wizards.NewPinsetFileWizard" |
| icon="icons/edl.png" |
| id="org.eclipse.epsilon.pinset.dt.wizards.NewPinsetFileWizard" |
| name="Pinset File"/> |
| </extension> |
| <extension |
| point="org.eclipse.epsilon.common.dt.moduleImplementation"> |
| <implementation |
| class="org.eclipse.epsilon.pinset.PinsetModule" |
| default="false" |
| dialog="org.eclipse.epsilon.pinset.dt.launching.PinsetModuleConfiguration" |
| language="Pinset" |
| name="Pinset"> |
| </implementation> |
| </extension> |
| |
| </plugin> |