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