--- a/client/js/renderer/nodehidebutton.js	Thu Jun 18 17:18:00 2015 +0200
+++ b/client/js/renderer/nodehidebutton.js	Thu Jun 18 17:18:15 2015 +0200
@@ -23,7 +23,7 @@
             this.renderer.is_dragging = false;
             this.renderer.removeRepresentationsOfType("editor");
             if (this.renderer.isEditable()) {
-                this.renderer.addHiddenNode(this.source_representation.model);
+                this.renderer.view.addHiddenNode(this.source_representation.model);
             }
         }
     }).value();