client/js/renderer/noderepr.js
changeset 507 fe71fdbc6663
parent 487 48be7ebb3187
child 508 dd526b1b283a
--- a/client/js/renderer/noderepr.js	Thu Jun 18 17:18:00 2015 +0200
+++ b/client/js/renderer/noderepr.js	Thu Jun 18 17:18:15 2015 +0200
@@ -502,9 +502,9 @@
                         if (repr && repr.hidden) {
                             repr.show(ghost);
                             if (!ghost){
-                                var indexNode = _this.renderer.hiddenNodes.indexOf(repr.model.id);
+                                var indexNode = _this.renderer.view.hiddenNodes.indexOf(repr.model.id);
                                 if (indexNode !== -1){
-                                    _this.renderer.hiddenNodes.splice(indexNode, 1);
+                                    _this.renderer.view.hiddenNodes.splice(indexNode, 1);
                                 }
                             }
                         }
@@ -551,9 +551,9 @@
                 this.saveCoords();
             } else {
                 if (this.hidden) {
-                    var index = this.renderer.hiddenNodes.indexOf(this.model.id);
+                    var index = this.renderer.view.hiddenNodes.indexOf(this.model.id);
                     if (index !== -1){
-                        this.renderer.hiddenNodes.splice(index, 1);
+                        this.renderer.view.hiddenNodes.splice(index, 1);
                     }
                     this.show(false);
                     this.select();