org.eclipse.egf.pattern.ui.editor.jet
Class PatternJETEditor
java.lang.Object
JETEditor
org.eclipse.egf.pattern.ui.editor.jet.PatternJETEditor
public class PatternJETEditor
- extends JETEditor
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EDITOR_ID
public static final String EDITOR_ID
- Pattern JET editor id.
PatternJETEditor
public PatternJETEditor()
setPartName
public void setPartName(String partName_p)
- See Also:
org.eclipse.ui.part.EditorPart#setPartName(java.lang.String)
Copyright (c) Thales Corporate Services S.A.S, 2009.
This page is made available under license. For full details see the LEGAL in the documentation book that contains this page.