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 voidinit(org.graphstream.ui.graphicGraph.GraphicGraph graph, org.graphstream.ui.view.View view)voidkeyPressed(java.awt.event.KeyEvent event)A key has been pressed.voidkeyReleased(java.awt.event.KeyEvent event)A key has been pressed.voidkeyTyped(java.awt.event.KeyEvent event)A key has been typed.voidrelease()
-
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
public void keyPressed(java.awt.event.KeyEvent event)A key has been pressed.- Specified by:
keyPressedin 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:
keyReleasedin 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:
keyTypedin interfacejava.awt.event.KeyListener- Parameters:
event- The event that generated the key.
-