| changeset 198 | d3737b90a66b |
| parent 196 | 2a2fcec209d0 |
| child 211 | d87f6bdee43d |
--- a/client/js/defaults.js Thu Jul 04 14:46:51 2013 +0200 +++ b/client/js/defaults.js Mon Aug 19 11:47:29 2013 +0200 @@ -38,6 +38,8 @@ /* TOP BAR BUTTONS */ show_search_field: true, show_user_list: true, + user_name_editable: true, + user_color_editable: true, show_save_button: true, show_open_button: false, show_addnode_button: true,