equal
deleted
inserted
replaced
14 this.type = "Node-show-button"; |
14 this.type = "Node-show-button"; |
15 this.lastSectorInner = 0; |
15 this.lastSectorInner = 0; |
16 this.startAngle = 90; |
16 this.startAngle = 90; |
17 this.endAngle = 135; |
17 this.endAngle = 135; |
18 this.imageName = "show"; |
18 this.imageName = "show"; |
19 this.text = "Show"; |
19 this.text = "Show neighbors"; |
20 }, |
20 }, |
21 mouseup: function() { |
21 mouseup: function() { |
22 this.renderer.click_target = null; |
22 this.renderer.click_target = null; |
23 this.renderer.is_dragging = false; |
23 this.renderer.is_dragging = false; |
24 this.renderer.removeRepresentationsOfType("editor"); |
24 this.renderer.removeRepresentationsOfType("editor"); |