comparison java/src/uk/ac/qmul/eecs/ccmi/gui/HapticTrigger.java @ 4:2c67ac862920

bug fix (correct haptic painting after renaming nodes and after nodes deletion with an edge with more than 2 nodes)
author Fiore Martin <fiore@eecs.qmul.ac.uk>
date Tue, 29 May 2012 15:32:19 +0100
parents 9e67171477bc
children
comparison
equal deleted inserted replaced
3:9e67171477bc 4:2c67ac862920
57 } 57 }
58 58
59 @Override 59 @Override
60 public void elementChanged(ElementChangedEvent evt) { 60 public void elementChanged(ElementChangedEvent evt) {
61 DiagramEventSource source = (DiagramEventSource)evt.getSource(); 61 DiagramEventSource source = (DiagramEventSource)evt.getSource();
62 if("stop_move".equals(evt.getChangeType())){ 62 if("stop_move".equals(evt.getChangeType()) || "remove_node".equals(evt.getChangeType())){
63 if(evt.getDiagramElement() instanceof Edge){ 63 if(evt.getDiagramElement() instanceof Edge){
64 Edge e = (Edge)evt.getDiagramElement(); 64 Edge e = (Edge)evt.getDiagramElement();
65 Edge.PointRepresentation pr = e.getPointRepresentation(); 65 Edge.PointRepresentation pr = e.getPointRepresentation();
66 HapticsFactory.getInstance().updateEdge( 66 HapticsFactory.getInstance().updateEdge(
67 System.identityHashCode(e), 67 System.identityHashCode(e),