close the edge popup editor as soon as the edge get hidden again
authorrougeronj
Fri, 18 Sep 2015 15:58:21 +0200
changeset 532 030f2e4c0664
parent 531 78107f172e2a
child 533 b7725d8f094d
close the edge popup editor as soon as the edge get hidden again
client/js/renderer/edge.js
--- 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");
             }