commit | e98f5593f88557bf74fddd91dd448a640a702085 | [log] [tgz] |
---|---|---|
author | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue May 16 12:14:22 2023 +0100 |
committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue May 16 12:14:22 2023 +0100 |
tree | f7f75bbfcae75867609453da36573a9a2939df50 | |
parent | 6455ec2251890c679b032959b2c147331cc33e9f [diff] |
Add missing space in the name of the editor
diff --git a/bundles/org.eclipse.emf.emfatic.ui/plugin.xml b/bundles/org.eclipse.emf.emfatic.ui/plugin.xml index db5048c..bcfd8d1 100644 --- a/bundles/org.eclipse.emf.emfatic.ui/plugin.xml +++ b/bundles/org.eclipse.emf.emfatic.ui/plugin.xml
@@ -5,7 +5,7 @@ <extension point="org.eclipse.ui.editors"> <editor - name="EmfaticEditor" + name="Emfatic Editor" extensions="emf" icon="icons/emfatic.png" class="org.eclipse.emf.emfatic.ui.editor.EmfaticEditor"