com.jgraph.navigation
public class PanningTool extends BasicMarqueeHandler
Field Summary | |
---|---|
protected int | dx |
protected int | dy |
protected int | m_XDifference |
protected int | m_YDifference |
protected Cursor | panningCursor The cursor to display when panning |
Method Summary | |
---|---|
Cursor | getPanningCursor() |
boolean | isForceMarqueeEvent(MouseEvent e)
The panning tool always has control if it is selected. |
void | mouseDragged(MouseEvent e)
Includes the specified startPoint in the marquee selection. |
void | mousePressed(MouseEvent event)
Sets the appropriate panning cursor and check how far the pan is
|
void | mouseReleased(MouseEvent event)
Ensures the cursor is set
|
protected void | processMouseDraggedEvent(MouseEvent event)
Overrides the parent's implementation to update the preview bounds to the
current.
|
void | setPanningCursor(Cursor panningCursor) |
Returns: the panningCursor
Parameters: event The object that describes the event.
Parameters: event The object that describes the event.
Parameters: event The object that describes the event.
Parameters: panningCursor the panningCursor to set