Exemple #1
0
  public void setMouseManager(MouseManager manager) {
    if (mouseClicks != null) mouseClicks.release();

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

    manager.init(graph, this);

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

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

    openInAFrame(false);
  }