--- a/client/js/renderer/edgeeditor.js	Tue May 05 18:00:13 2015 +0200
+++ b/client/js/renderer/edgeeditor.js	Wed May 06 10:38:01 2015 +0200
@@ -138,10 +138,10 @@
             }
         },
         redraw: function() {
-        	if (this.options.popup_editor){
-        		var _coords = this.source_representation.paper_coords;
-        		Utils.drawEditBox(this.options, _coords, this.editor_block, 5, this.editor_$);
-        	}
+            if (this.options.popup_editor){
+                var _coords = this.source_representation.paper_coords;
+                Utils.drawEditBox(this.options, _coords, this.editor_block, 5, this.editor_$);
+            }
             this.editor_$.show();
             paper.view.draw();
         }