client/js/defaults.js
changeset 188 50b3287d06dd
parent 185 ad8c900d87e5
child 190 a9040a7c47d9
--- a/client/js/defaults.js	Wed May 15 18:17:18 2013 +0200
+++ b/client/js/defaults.js	Tue May 28 16:45:12 2013 +0200
@@ -14,6 +14,8 @@
         /* Show bins in left column */
     properties: [],
         /* Semantic properties for edges */
+    show_editor: true,
+        /* Show the graph editor... Setting this to "false" only shows the bins part ! */
     read_only: false,
         /* Allows editing of renkan without changing the rest of the GUI. Can be switched on/off on the fly to block/enable editing */
     editor_mode: true,