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);
}
