equal
deleted
inserted
replaced
831 redraw: function() { |
831 redraw: function() { |
832 if(! this.redrawActive ) { |
832 if(! this.redrawActive ) { |
833 return; |
833 return; |
834 } |
834 } |
835 _.each(this.representations, function(_representation) { |
835 _.each(this.representations, function(_representation) { |
836 _representation.redraw(true); |
836 _representation.redraw({ dontRedrawEdges:true }); |
837 }); |
837 }); |
838 if (this.minimap) { |
838 if (this.minimap) { |
839 this.redrawMiniframe(); |
839 this.redrawMiniframe(); |
840 } |
840 } |
841 paper.view.draw(); |
841 paper.view.draw(); |