client/js/renderer/nodeenlargebutton.js
changeset 434 0d5998b32a7c
parent 433 e457ec945e50
child 453 04b7d46e9d67
equal deleted inserted replaced
433:e457ec945e50 434:0d5998b32a7c
    25             this.source_representation.select();
    25             this.source_representation.select();
    26             this.select();
    26             this.select();
    27             paper.view.draw();
    27             paper.view.draw();
    28         }
    28         }
    29     }).value();
    29     }).value();
    30 //    });
    30 
    31     /* NodeEnlargeButton End */
    31     /* NodeEnlargeButton End */
    32 
    32 
    33     return NodeEnlargeButton;
    33     return NodeEnlargeButton;
    34 
    34 
    35 });
    35 });