| changeset 532 | 030f2e4c0664 |
| parent 462 | 255b66d1ce78 |
| child 633 | fdff56da097d |
--- a/client/js/renderer/edge.js Fri Sep 18 15:37:50 2015 +0200 +++ b/client/js/renderer/edge.js Fri Sep 18 15:58:21 2015 +0200 @@ -238,6 +238,9 @@ b.hide(); }); } + if (this.hidden){ + this.renderer.removeRepresentationsOfType("editor"); + } this.line.strokeWidth = this._getStrokeWidth(); this._super("unselect"); }