client/js/renderer/nodeshrinkbutton.js
changeset 453 04b7d46e9d67
parent 434 0d5998b32a7c
child 487 48be7ebb3187
equal deleted inserted replaced
452:96f84344a70e 453:04b7d46e9d67
    11 
    11 
    12     _(NodeShrinkButton.prototype).extend({
    12     _(NodeShrinkButton.prototype).extend({
    13         _init: function() {
    13         _init: function() {
    14             this.type = "Node-shrink-button";
    14             this.type = "Node-shrink-button";
    15             this.lastSectorInner = 0;
    15             this.lastSectorInner = 0;
    16             this.startAngle = -180;
    16             this.startAngle = -170;
    17             this.endAngle = -135;
    17             this.endAngle = -125;
    18             this.imageName = "shrink";
    18             this.imageName = "shrink";
    19             this.text = "Shrink";
    19             this.text = "Shrink";
    20         },
    20         },
    21         mouseup: function() {
    21         mouseup: function() {
    22             var _newsize = -1 + (this.source_representation.model.get("size") || 0);
    22             var _newsize = -1 + (this.source_representation.model.get("size") || 0);