client/js/renderer/nodehidebutton.js
changeset 507 fe71fdbc6663
parent 453 04b7d46e9d67
equal deleted inserted replaced
506:460de050f800 507:fe71fdbc6663
    21         mouseup: function() {
    21         mouseup: function() {
    22             this.renderer.click_target = null;
    22             this.renderer.click_target = null;
    23             this.renderer.is_dragging = false;
    23             this.renderer.is_dragging = false;
    24             this.renderer.removeRepresentationsOfType("editor");
    24             this.renderer.removeRepresentationsOfType("editor");
    25             if (this.renderer.isEditable()) {
    25             if (this.renderer.isEditable()) {
    26                 this.renderer.addHiddenNode(this.source_representation.model);
    26                 this.renderer.view.addHiddenNode(this.source_representation.model);
    27             }
    27             }
    28         }
    28         }
    29     }).value();
    29     }).value();
    30 
    30 
    31     /* NodeRemoveButton End */
    31     /* NodeRemoveButton End */