client/js/renderer/nodehidebutton.js
changeset 512 480c1d2d6915
parent 507 fe71fdbc6663
equal deleted inserted replaced
497:3ba7920facf4 512:480c1d2d6915
    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 */