19             this.renderer.is_dragging = false;

    19             this.renderer.is_dragging = false;

    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         }

    26     /* EdgeRevertButton End */

    26     /* EdgeRevertButton End */

    27 

    27 

    28     return EdgeRevertButton;

    28     return EdgeRevertButton;

    29 

    29 

    30 });

    30 });