diff -r 15e048e00002 -r 2a2fcec209d0 client/js/defaults.js
--- 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,