client/js/defaults.js
changeset 489 7f25a4453865
parent 487 48be7ebb3187
child 503 18cb4c4c4e5e
child 512 480c1d2d6915
--- a/client/js/defaults.js	Thu Jun 18 16:53:16 2015 +0200
+++ b/client/js/defaults.js	Fri Jun 19 13:35:23 2015 +0200
@@ -115,7 +115,7 @@
     label_untitled_nodes: "(untitled)",
         /* Label to display on untitled nodes */
     hide_nodes: true, 
-    /* allow hide/show nodes */
+        /* allow hide/show nodes */
     change_shapes: true,
         /* Change shapes enabled */
     change_types: true,