|
Re: Setting own file extension for Graphiti Diagram [message #707872 is a reply to message #707255] |
Tue, 02 August 2011 06:57 |
Joerg Reichert Messages: 80 Registered: July 2009 Location: Leipzig |
Member |
|
|
Hi Phillipp,
this is defined in the graphiti.ui plugin.xml
The content type with its file extension:
<extension
point="org.eclipse.core.contenttype.contentTypes">
<content-type
file-extensions="diagram"
id="org.eclipse.graphiti.content.diagram"
name="%_contenttype_diagram">
</content-type>
</extension>
and the binding of the content type to the diagram editor:
<extension
point="org.eclipse.ui.editors">
<editor
class="org.eclipse.graphiti.ui.editor.DiagramEditor"
contributorClass="org.eclipse.graphiti.ui.editor.DiagramEditorActionBarContributor"
default="true"
extensions="diagram"
icon="icons/diagram.gif"
id="org.eclipse.graphiti.ui.editor.DiagramEditor"
matchingStrategy="org.eclipse.graphiti.ui.editor.DiagramEditorFactory$DiagramEditorMatchingStrategy"
name="%_diagram_editor_name">
<contentTypeBinding
contentTypeId="org.eclipse.graphiti.content.diagram">
</contentTypeBinding>
</editor>
</extension>
So you have to redefine both extensions in the plugin.xml of your plug-in to use your preferred file extension.
Regards,
Joerg
--
Need professional support for Xtext and EMF?
Go to: http://xtext.itemis.com
[Updated on: Tue, 02 August 2011 06:58] Report message to a moderator
|
|
|
|
Powered by
FUDForum. Page generated in 0.03479 seconds