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()  

    Methods inherited from class java.lang.Object

    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

  • Method Details

    • init

      public void init​(org.graphstream.ui.graphicGraph.GraphicGraph graph, org.graphstream.ui.view.View view)
      Specified by:
      init in interface org.graphstream.ui.view.util.ShortcutManager
    • release

      public void release()
      Specified by:
      release in interface org.graphstream.ui.view.util.ShortcutManager
    • keyPressed

      public void keyPressed​(java.awt.event.KeyEvent event)
      A key has been pressed.
      Specified by:
      keyPressed in interface java.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 interface java.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 interface java.awt.event.KeyListener
      Parameters:
      event - The event that generated the key.