| 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;