blob: 2990508926b6815573bc0ddacc48b46db3a3451a [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<!--
<copyright>
Copyright (c) 2008-2012 itemis, See4sys and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
Contributors:
See4sys - Initial API and implementation
itemis - [392424] Migrate Sphinx integration of Graphiti to Graphiti 0.9.x
</copyright>
-->
<plugin>
<extension
point="org.eclipse.ui.editors">
<editor
class="org.eclipse.sphinx.graphiti.workspace.ui.editors.BasicGraphitiDiagramEditor"
contributorClass="org.eclipse.graphiti.ui.editor.DiagramEditorActionBarContributor"
default="true"
extensions="diag"
icon="icons/diagram.gif"
id="org.eclipse.sphinx.graphiti.workspace.ui.editors.graphitiDiagram"
name="%sphinx.graphiti.workspace.ui.editors.graphitiDiagram.name">
</editor>
</extension>
<extension
point="org.eclipse.ui.elementFactories">
<factory
class="org.eclipse.sphinx.graphiti.workspace.ui.BasicDiagramEditorFactory"
id="org.eclipse.sphinx.graphiti.workspace.ui.BasicDiagramEditorFactory">
</factory>
</extension>
</plugin>