Class DefaultShortcutManager
java.lang.Object
org.graphstream.ui.swing_viewer.util.DefaultShortcutManager
- All Implemented Interfaces:
java.awt.event.KeyListener
,java.util.EventListener
,org.graphstream.ui.view.util.ShortcutManager
public class DefaultShortcutManager
extends java.lang.Object
implements org.graphstream.ui.view.util.ShortcutManager, java.awt.event.KeyListener
-
Constructor Summary
Constructors Constructor Description DefaultShortcutManager()
-
Method Summary
Modifier and Type Method 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()
-
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:
init
in interfaceorg.graphstream.ui.view.util.ShortcutManager
-
release
public void release()- Specified by:
release
in interfaceorg.graphstream.ui.view.util.ShortcutManager
-
keyPressed
public void keyPressed(java.awt.event.KeyEvent event)A key has been pressed.- Specified by:
keyPressed
in interfacejava.awt.event.KeyListener
- Parameters:
event
- The event that generated the key.
-
keyReleased
public void keyReleased(java.awt.event.KeyEvent event)A key has been pressed.- Specified by:
keyReleased
in interfacejava.awt.event.KeyListener
- Parameters:
event
- The event that generated the key.
-
keyTyped
public void keyTyped(java.awt.event.KeyEvent event)A key has been typed.- Specified by:
keyTyped
in interfacejava.awt.event.KeyListener
- Parameters:
event
- The event that generated the key.
-