Example #1
0
  public void setShortcutManager(ShortcutManager manager) {
    if (shortcuts != null) shortcuts.release();

    if (manager == null) manager = new DefaultShortcutManager();

    manager.init(graph, this);

    shortcuts = manager;
  }
Example #2
0
  public void close(GraphicGraph graph) {
    renderer.close();
    graph.addAttribute("ui.viewClosed", getId());

    removeKeyListener(shortcuts);
    shortcuts.release();
    mouseClicks.release();

    openInAFrame(false);
  }