next up previous contents index
Next: Panner Window for Exploring Up: Navigating Through a Graph Previous: Keys

Mouse Pointer

The mouse pointer can be used to scroll the display window through the virtual window:

When the any mouse button is pressed and held, followed by dragging over the graph window, the graph moves in the direction the mouse pointer was dragged.


next up previous contents index
Next: Panner Window for Exploring Up: Navigating Through a Graph Previous: Keys
© AbsInt Angewandte Informatik GmbH