Package org.woped.editor.controller

Examples of org.woped.editor.controller.WoPeDUndoManager


    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);
   
    this.viewListener = new Vector<IViewListener>();
View Full Code Here

TOP

Related Classes of org.woped.editor.controller.WoPeDUndoManager

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.