client/js/renderer/edgerevertbutton.js
changeset 433 e457ec945e50
parent 293 fba23fde14ba
child 434 0d5998b32a7c
--- a/client/js/renderer/edgerevertbutton.js	Fri Apr 24 18:02:09 2015 +0200
+++ b/client/js/renderer/edgerevertbutton.js	Sat Apr 25 04:13:53 2015 +0200
@@ -21,8 +21,8 @@
                 this.source_representation.model.unset("delete_scheduled");
             }
         }
-    });
-
+    }).value();
+//    });
     /* EdgeRevertButton End */
 
     return EdgeRevertButton;