--- a/client/js/renderer/noderepr.js	Thu Jun 18 16:25:21 2015 +0200
+++ b/client/js/renderer/noderepr.js	Thu Jun 18 16:50:54 2015 +0200
@@ -32,12 +32,16 @@
                 this.normal_buttons = [
                                        new Renderer.NodeEditButton(this.renderer, null),
                                        new Renderer.NodeRemoveButton(this.renderer, null),
-                                       new Renderer.NodeHideButton(this.renderer, null),
-                                       new Renderer.NodeShowButton(this.renderer, null),
                                        new Renderer.NodeLinkButton(this.renderer, null),
                                        new Renderer.NodeEnlargeButton(this.renderer, null),
                                        new Renderer.NodeShrinkButton(this.renderer, null)
                                        ];
+                if (this.options.hide_nodes){
+                    this.normal_buttons.push(
+                            new Renderer.NodeHideButton(this.renderer, null),
+                            new Renderer.NodeShowButton(this.renderer, null)
+                            );
+                }
                 this.pending_delete_buttons = [
                                                new Renderer.NodeRevertButton(this.renderer, null)
                                                ];