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