client/js/renderer/noderepr.js
changeset 508 dd526b1b283a
parent 507 fe71fdbc6663
child 531 78107f172e2a
--- a/client/js/renderer/noderepr.js	Thu Jun 18 17:18:15 2015 +0200
+++ b/client/js/renderer/noderepr.js	Wed Jun 24 17:15:22 2015 +0200
@@ -96,7 +96,7 @@
             if (!this.is_dragging || !this.paper_coords) {
                 this.paper_coords = this.renderer.toPaperCoords(_model_coords);
             }
-            this.circle_radius = _baseRadius * this.renderer.scale;
+            this.circle_radius = _baseRadius * this.renderer.view.scale;
             if (this.last_circle_radius !== this.circle_radius) {
                 this.all_buttons.forEach(function(b) {
                     b.setSectorSize();
@@ -347,7 +347,7 @@
                     this.redraw();
                 }
             } else {
-                this.renderer.paperShift(_delta);
+                this.renderer.view.paperShift(_delta);
             }
         },
         openEditor: function() {
@@ -455,6 +455,7 @@
                 this.title.css('opacity', this.options.ghost_opacity);
                 this.minimap_circle.opacity = this.options.ghost_opacity;
             } else {
+                this.minimap_circle.opacity = 1; 
                 this.hidden = false;
                 this.redraw();
             }