public class PanningTool extends BasicMarqueeHandler
Modifier and Type | Field and Description |
---|---|
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
|
currentPoint, marqueeBounds, previousCursor, startPoint
Constructor and Description |
---|
PanningTool() |
Modifier and Type | Method and Description |
---|---|
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) |
getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, mouseMoved, overlay, paint, setCurrentPoint, setMarqueeBounds, setPreviousCursor, setStartPoint
protected int m_XDifference
protected int m_YDifference
protected int dx
protected int dy
protected java.awt.Cursor panningCursor
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 setCopyright (C) 2001-2009 JGraph Ltd. All rights reserved.