+
+// Toggle the icon bar between menu/roomlist...
+var which_div_expanded = null;
+var num_drop_targets = 0;
+var drop_targets_elements = new Array();
+var drop_targets_roomnames = new Array();
+
+function switch_to_room_list() {
+ new Ajax.Updater('iconbar', 'iconbar_ajax_rooms', { method: 'get' } );
+}
+
+function expand_floor(floor_div) {
+ if (which_div_expanded != null) {
+ $(which_div_expanded).style.display = 'none' ;
+ }
+ $(floor_div).style.display = 'block';
+ which_div_expanded = floor_div;
+}
+
+function switch_to_menu_buttons() {
+ which_div_expanded = null;
+ num_drop_targets = 0;
+ new Ajax.Updater('iconbar', 'iconbar_ajax_menu', { method: 'get' } );
+}
+
+