| changeset 434 | 0d5998b32a7c |
| parent 433 | e457ec945e50 |
| 433:e457ec945e50 | 434:0d5998b32a7c |
|---|---|
20 if (this.renderer.isEditable()) { |
20 if (this.renderer.isEditable()) { |
21 this.source_representation.model.unset("delete_scheduled"); |
21 this.source_representation.model.unset("delete_scheduled"); |
22 } |
22 } |
23 } |
23 } |
24 }).value(); |
24 }).value(); |
25 // }); |
25 |
26 /* EdgeRevertButton End */ |
26 /* EdgeRevertButton End */ |
27 |
27 |
28 return EdgeRevertButton; |
28 return EdgeRevertButton; |
29 |
29 |
30 }); |
30 }); |