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