| changeset 434 | 0d5998b32a7c |
| parent 433 | e457ec945e50 |
| 433:e457ec945e50 | 434:0d5998b32a7c |
|---|---|
24 if (this.renderer.isEditable()) { |
24 if (this.renderer.isEditable()) { |
25 this.source_representation.model.unset("delete_scheduled"); |
25 this.source_representation.model.unset("delete_scheduled"); |
26 } |
26 } |
27 } |
27 } |
28 }).value(); |
28 }).value(); |
29 // }); |
29 |
30 /* NodeRevertButton End */ |
30 /* NodeRevertButton End */ |
31 |
31 |
32 return NodeRevertButton; |
32 return NodeRevertButton; |
33 |
33 |
34 }); |
34 }); |