Class DefaultShortcutManager
java.lang.Object
org.graphstream.ui.swing_viewer.util.DefaultShortcutManager
- All Implemented Interfaces:
KeyListener,EventListener,org.graphstream.ui.view.util.ShortcutManager
public class DefaultShortcutManager
extends Object
implements org.graphstream.ui.view.util.ShortcutManager, KeyListener
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected doubleprotected org.graphstream.ui.view.ViewThe viewer to control.protected doubleprotected org.graphstream.ui.geom.Point3 -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidinit(org.graphstream.ui.graphicGraph.GraphicGraph graph, org.graphstream.ui.view.View view) voidkeyPressed(KeyEvent event) A key has been pressed.voidkeyReleased(KeyEvent event) A key has been pressed.voidA key has been typed.voidrelease()
-
Field Details
-
view
protected org.graphstream.ui.view.View viewThe viewer to control. -
viewPercent
protected double viewPercent -
viewPos
protected org.graphstream.ui.geom.Point3 viewPos -
rotation
protected double rotation
-
-
Constructor Details
-
DefaultShortcutManager
public DefaultShortcutManager()
-
-
Method Details
-
init
public void init(org.graphstream.ui.graphicGraph.GraphicGraph graph, org.graphstream.ui.view.View view) - Specified by:
initin interfaceorg.graphstream.ui.view.util.ShortcutManager
-
release
public void release()- Specified by:
releasein interfaceorg.graphstream.ui.view.util.ShortcutManager
-
keyPressed
A key has been pressed.- Specified by:
keyPressedin interfaceKeyListener- Parameters:
event- The event that generated the key.
-
keyReleased
A key has been pressed.- Specified by:
keyReleasedin interfaceKeyListener- Parameters:
event- The event that generated the key.
-
keyTyped
A key has been typed.- Specified by:
keyTypedin interfaceKeyListener- Parameters:
event- The event that generated the key.
-