client/js/renderer/edge.js
changeset 453 04b7d46e9d67
parent 450 88e8673aaeeb
child 461 48235ed6b07d
equal deleted inserted replaced
452:96f84344a70e 453:04b7d46e9d67
    64                 return;
    64                 return;
    65             }
    65             }
    66             this.from_representation = this.renderer.getRepresentationByModel(from);
    66             this.from_representation = this.renderer.getRepresentationByModel(from);
    67             this.to_representation = this.renderer.getRepresentationByModel(to);
    67             this.to_representation = this.renderer.getRepresentationByModel(to);
    68             if (typeof this.from_representation === "undefined" || typeof this.to_representation === "undefined" ||
    68             if (typeof this.from_representation === "undefined" || typeof this.to_representation === "undefined" ||
    69                     (this.from_representation.hidden && !this.from_representation.ghost)||
    69                     (this.from_representation.hidden && !this.from_representation.ghost) ||
    70                     (this.to_representation.hidden && !this.to_representation.ghost)){
    70                     (this.to_representation.hidden && !this.to_representation.ghost)){
       
    71                 this.hide();
    71                 return;
    72                 return;
    72             }
    73             }
    73             var _p0a = this.from_representation.paper_coords,
    74             var _p0a = this.from_representation.paper_coords,
    74             _p1a = this.to_representation.paper_coords,
    75             _p1a = this.to_representation.paper_coords,
    75             _v = _p1a.subtract(_p0a),
    76             _v = _p1a.subtract(_p0a),