client/js/defaults.js
changeset 196 2a2fcec209d0
parent 190 a9040a7c47d9
child 198 d3737b90a66b
--- a/client/js/defaults.js	Wed Jul 03 13:42:59 2013 +0200
+++ b/client/js/defaults.js	Thu Jul 04 12:43:30 2013 +0200
@@ -36,6 +36,7 @@
     autoscale_padding: 50,
     
     /* TOP BAR BUTTONS */
+    show_search_field: true,
     show_user_list: true,
     show_save_button: true,
     show_open_button: false,