client/js/renderer/edgerevertbutton.js
changeset 434 0d5998b32a7c
parent 433 e457ec945e50
equal deleted inserted replaced
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 });