this.m_clipboard = clipboard;
marqueehandler = new PetriNetMarqueeHandler(this, mediator);
this.modelProcessor = new PetriNetModelProcessor();
if (loadUI)
this.m_graph = new WoPeDJGraph(new WoPeDJGraphGraphModel(this),
marqueehandler,
undoSupport ? new WoPeDUndoManager(this) : null,
viewFactory);
editorPanel = new EditorPanel(this, mediator, m_propertyChangeSupport, loadUI);