379380381382383384385386387388389
public void setShortcutManager(ShortcutManager manager) { if(shortcuts != null) shortcuts.release(); if(manager == null) manager = new DefaultShortcutManager(); manager.init(graph, this); shortcuts = manager; }