client/js/renderer/nodeenlargebutton.js
changeset 487 48be7ebb3187
parent 453 04b7d46e9d67
equal deleted inserted replaced
486:f1ff0529ba41 487:48be7ebb3187
    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 = -55;
    17             this.startAngle = this.options.hide_nodes ? -55 : -45;
    18             this.endAngle = -10;
    18             this.endAngle = this.options.hide_nodes ? -10 : 0;
    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);