eu.geclipse.workflow.ui.editor
Class WorkflowDiagramEditor
java.lang.Object
DiagramDocumentEditor
eu.geclipse.workflow.ui.editor.WorkflowDiagramEditor
public class WorkflowDiagramEditor
- extends DiagramDocumentEditor
|
Field Summary |
static java.lang.String |
CONTEXT_ID
|
static java.lang.String |
ID
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ID
public static final java.lang.String ID
- See Also:
- Constant Field Values
CONTEXT_ID
public static final java.lang.String CONTEXT_ID
- See Also:
- Constant Field Values
WorkflowDiagramEditor
public WorkflowDiagramEditor()
getContributorId
public java.lang.String getContributorId()
getEditingDomain
public TransactionalEditingDomain getEditingDomain()
gotoMarker
public void gotoMarker(IMarker marker)
isSaveAsAllowed
public boolean isSaveAsAllowed()
doSaveAs
public void doSaveAs()