| author | rougeronj |
| Fri, 18 Sep 2015 15:58:21 +0200 | |
| changeset 532 | 030f2e4c0664 |
| parent 531 | 78107f172e2a |
| child 533 | b7725d8f094d |
--- 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"); }