client/js/renderer/edge.js
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");
             }