Examples of org.woped.editor.controller.PetriNetMarqueeHandler

org.woped.editor.controller.PetriNetMarqueeHandler
@author Simon Landes

The idea of the marquee handler is to act as a high - level mouse handler, with additional painting capabilites 29.04.2003

    
    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

org.jgraph.graph.DefaultPort

org.jgraph.graph.Port

org.woped.core.model.CreationMap

org.woped.editor.controller.vc.EditorVC

org.woped.editor.controller.vep.ViewEvent

java.awt.geom.Rectangle2D

java.awt.geom.Point2D

java.awt.Dimension

java.awt.Cursor

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.