--- a/client/js/renderer/edgeeditbutton.js Fri Apr 24 18:02:09 2015 +0200
+++ b/client/js/renderer/edgeeditbutton.js Sat Apr 25 04:13:53 2015 +0200
@@ -19,7 +19,8 @@
this.source_representation.openEditor();
}
}
- });
+ }).value();
+// });
/* EdgeEditButton End */