|
JGraph
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jgraph.graph.BasicMarqueeHandler
com.jgraph.navigation.PanningTool
public class PanningTool
Tool that inserts vertices based on a prototype.
Field Summary | |
---|---|
protected int |
dx
|
protected int |
dy
|
protected int |
m_XDifference
|
protected int |
m_YDifference
|
protected java.awt.Cursor |
panningCursor
The cursor to display when panning |
Fields inherited from class org.jgraph.graph.BasicMarqueeHandler |
---|
currentPoint, marqueeBounds, previousCursor, startPoint |
Constructor Summary | |
---|---|
PanningTool()
|
Method Summary | |
---|---|
java.awt.Cursor |
getPanningCursor()
|
boolean |
isForceMarqueeEvent(java.awt.event.MouseEvent e)
The panning tool always has control if it is selected. |
void |
mouseDragged(java.awt.event.MouseEvent e)
Includes the specified startPoint in the marquee selection. |
void |
mousePressed(java.awt.event.MouseEvent event)
Sets the appropriate panning cursor and check how far the pan is |
void |
mouseReleased(java.awt.event.MouseEvent event)
Ensures the cursor is set |
protected void |
processMouseDraggedEvent(java.awt.event.MouseEvent event)
Overrides the parent's implementation to update the preview bounds to the current. |
void |
setPanningCursor(java.awt.Cursor panningCursor)
|
Methods inherited from class org.jgraph.graph.BasicMarqueeHandler |
---|
getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, mouseMoved, overlay, paint, setCurrentPoint, setMarqueeBounds, setPreviousCursor, setStartPoint |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected int m_XDifference
protected int m_YDifference
protected int dx
protected int dy
protected java.awt.Cursor panningCursor
Constructor Detail |
---|
public PanningTool()
Method Detail |
---|
public boolean isForceMarqueeEvent(java.awt.event.MouseEvent e)
isForceMarqueeEvent
in class BasicMarqueeHandler
public void mousePressed(java.awt.event.MouseEvent event)
mousePressed
in class BasicMarqueeHandler
event
- The object that describes the event.protected void processMouseDraggedEvent(java.awt.event.MouseEvent event)
processMouseDraggedEvent
in class BasicMarqueeHandler
event
- The object that describes the event.public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
in class BasicMarqueeHandler
public void mouseReleased(java.awt.event.MouseEvent event)
mouseReleased
in class BasicMarqueeHandler
event
- The object that describes the event.public java.awt.Cursor getPanningCursor()
public void setPanningCursor(java.awt.Cursor panningCursor)
panningCursor
- the panningCursor to set
|
JGraph
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |