23             this.renderer.is_dragging = false;

    23             this.renderer.is_dragging = false;

    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         }

    30     /* NodeRevertButton End */

    30     /* NodeRevertButton End */

    31 

    31 

    32     return NodeRevertButton;

    32     return NodeRevertButton;

    33 

    33 

    34 });

    34 });