public void setMouseManager(MouseManager manager) { if (mouseClicks != null) mouseClicks.release(); if (manager == null) manager = new DefaultMouseManager(); manager.init(graph, this); mouseClicks = manager; }
public void close(GraphicGraph graph) { renderer.close(); graph.addAttribute("ui.viewClosed", getId()); removeKeyListener(shortcuts); shortcuts.release(); mouseClicks.release(); openInAFrame(false); }