diff options
Diffstat (limited to 'plugins/org.eclipse.etrice.core.config.ui/plugin.xml')
| -rw-r--r-- | plugins/org.eclipse.etrice.core.config.ui/plugin.xml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/plugins/org.eclipse.etrice.core.config.ui/plugin.xml b/plugins/org.eclipse.etrice.core.config.ui/plugin.xml index 4fc2efaec..b4320fd34 100644 --- a/plugins/org.eclipse.etrice.core.config.ui/plugin.xml +++ b/plugins/org.eclipse.etrice.core.config.ui/plugin.xml @@ -6,12 +6,13 @@ <extension
point="org.eclipse.ui.editors">
<editor
- class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
- contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
- default="true"
- extensions="config"
- id="org.eclipse.etrice.core.Config"
- name="Config Editor">
+ class="org.eclipse.etrice.core.ui.ConfigExecutableExtensionFactory:org.eclipse.xtext.ui.editor.XtextEditor"
+ contributorClass="org.eclipse.ui.editors.text.TextEditorActionContributor"
+ default="true"
+ extensions="config"
+ icon="icons/config_icon.gif"
+ id="org.eclipse.etrice.core.Config"
+ name="Config Editor">
</editor>
</extension>
<extension
|