# HG changeset patch
# User rougeronj
# Date 1442584701 -7200
# Node ID 030f2e4c0664ea2ac13b9e381f50acfd0fac8a53
# Parent  78107f172e2a01ce1d5af871f47cefd5e3c538a5
close the edge popup editor as soon as the edge get hidden again

diff -r 78107f172e2a -r 030f2e4c0664 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");
             }