client/js/defaults.js
changeset 487 48be7ebb3187
parent 482 a55c33989404
child 489 7f25a4453865
child 511 4a48a1a9fd1e
--- a/client/js/defaults.js	Thu Jun 18 16:25:21 2015 +0200
+++ b/client/js/defaults.js	Thu Jun 18 16:50:54 2015 +0200
@@ -114,6 +114,8 @@
         /* Maximum displayed text length */
     label_untitled_nodes: "(untitled)",
         /* Label to display on untitled nodes */
+    hide_nodes: true, 
+    /* allow hide/show nodes */
     change_shapes: true,
         /* Change shapes enabled */
     change_types: true,