| 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,