public class AssignmentMarqueeHandler
extends org.jgraph.graph.BasicMarqueeHandler
Title: DECLARE
Description:
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
AssignmentMarqueeHandler(org.jgraph.JGraph graph) |
Modifier and Type | Method and Description |
---|---|
boolean |
isForceMarqueeEvent(java.awt.event.MouseEvent e) |
void |
mousePressed(java.awt.event.MouseEvent e)
Start the marquee at the specified startPoint.
|
void |
setListener(IAssignmentMarqueeListener listener)
setListener
|
getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, mouseDragged, mouseMoved, mouseReleased, overlay, paint, processMouseDraggedEvent, setCurrentPoint, setMarqueeBounds, setPreviousCursor, setStartPoint
public AssignmentMarqueeHandler(org.jgraph.JGraph graph)
public boolean isForceMarqueeEvent(java.awt.event.MouseEvent e)
isForceMarqueeEvent
in class org.jgraph.graph.BasicMarqueeHandler
public void mousePressed(java.awt.event.MouseEvent e)
org.jgraph.graph.BasicMarqueeHandler
mousePressed
in class org.jgraph.graph.BasicMarqueeHandler
public void setListener(IAssignmentMarqueeListener listener)