| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.4"?> |
| <plugin> |
| <extension |
| point="org.eclipse.ui.editors"> |
| <editor |
| class="org.eclipse.emf.parsley.editors.EmfParsleyEditorsExecutableExtensionFactory:org.eclipse.emf.parsley.editors.EmfTreeEditor" |
| contributorClass="org.eclipse.emf.parsley.editors.EmfParsleyEditorsExecutableExtensionFactory:org.eclipse.emf.parsley.editors.EmfParsleyEditorActionBarContributor" |
| default="false" |
| id="org.eclipse.emf.parsley.editors.treeEditor" |
| name="EMF Tree Editor"> |
| <contentTypeBinding |
| contentTypeId="org.eclipse.emf.ecore.xmi"> |
| </contentTypeBinding> |
| </editor> |
| </extension> |
| |
| </plugin> |
