367368369370371372373374375376377
public void setMouseManager(MouseManager manager) { if(mouseClicks != null) mouseClicks.release(); if(manager == null) manager = new DefaultMouseManager(); manager.init(graph, this); mouseClicks = manager; }