client/js/renderer/edge.js
changeset 453 04b7d46e9d67
parent 450 88e8673aaeeb
child 461 48235ed6b07d
--- a/client/js/renderer/edge.js	Fri May 22 17:45:50 2015 +0200
+++ b/client/js/renderer/edge.js	Fri May 22 17:48:18 2015 +0200
@@ -66,8 +66,9 @@
             this.from_representation = this.renderer.getRepresentationByModel(from);
             this.to_representation = this.renderer.getRepresentationByModel(to);
             if (typeof this.from_representation === "undefined" || typeof this.to_representation === "undefined" ||
-                    (this.from_representation.hidden && !this.from_representation.ghost)||
+                    (this.from_representation.hidden && !this.from_representation.ghost) ||
                     (this.to_representation.hidden && !this.to_representation.ghost)){
+                this.hide();
                 return;
             }
             var _p0a = this.from_representation.paper_coords,