public class DefaultShortcutManager
extends java.lang.Object
implements org.graphstream.ui.view.util.ShortcutManager, java.awt.event.KeyListener
| Modifier and Type | Field and Description |
|---|---|
protected double |
rotation |
protected org.graphstream.ui.view.View |
view
The viewer to control.
|
protected double |
viewPercent |
protected org.graphstream.ui.geom.Point3 |
viewPos |
| Constructor and Description |
|---|
DefaultShortcutManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
init(org.graphstream.ui.graphicGraph.GraphicGraph graph,
org.graphstream.ui.view.View view) |
void |
keyPressed(java.awt.event.KeyEvent event)
A key has been pressed.
|
void |
keyReleased(java.awt.event.KeyEvent event)
A key has been pressed.
|
void |
keyTyped(java.awt.event.KeyEvent event)
A key has been typed.
|
void |
release() |
protected org.graphstream.ui.view.View view
protected double viewPercent
protected org.graphstream.ui.geom.Point3 viewPos
protected double rotation
public void init(org.graphstream.ui.graphicGraph.GraphicGraph graph,
org.graphstream.ui.view.View view)
init in interface org.graphstream.ui.view.util.ShortcutManagerpublic void release()
release in interface org.graphstream.ui.view.util.ShortcutManagerpublic void keyPressed(java.awt.event.KeyEvent event)
keyPressed in interface java.awt.event.KeyListenerevent - The event that generated the key.public void keyReleased(java.awt.event.KeyEvent event)
keyReleased in interface java.awt.event.KeyListenerevent - The event that generated the key.public void keyTyped(java.awt.event.KeyEvent event)
keyTyped in interface java.awt.event.KeyListenerevent - The event that generated the key.