client/js/renderer/nodeeditbutton.js
changeset 487 48be7ebb3187
parent 453 04b7d46e9d67
--- a/client/js/renderer/nodeeditbutton.js	Thu Jun 18 16:25:21 2015 +0200
+++ b/client/js/renderer/nodeeditbutton.js	Thu Jun 18 16:50:54 2015 +0200
@@ -13,8 +13,8 @@
         _init: function() {
             this.type = "Node-edit-button";
             this.lastSectorInner = 0;
-            this.startAngle = -125;
-            this.endAngle = -55;
+            this.startAngle = this.options.hide_nodes ? -125 : -135;
+            this.endAngle = this.options.hide_nodes ? -55 : -45;
             this.imageName = "edit";
             this.text = "Edit";
         },