Package org.woped.editor.controller

Examples of org.woped.editor.controller.PetriNetMarqueeHandler


   
    this.undoSupport = undoSupport;
    // initialize
    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,
View Full Code Here

TOP

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

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.