wclib commit

diff --git a/webcit/static/wclib.js b/webcit/static/wclib.js
index 2464fff089c58586d989355d395310fd71cc7adf..f4f32e7a0c9c019c62a6eea995609401e5b788a2 100644 (file)
--- a/webcit/static/wclib.js
+++ b/webcit/static/wclib.js
@@ -373,5 +373,6 @@ function expand_floor(floor_div) {
 }
 
 function switch_to_menu_buttons() {
+       which_div_expanded = null;
        new Ajax.Updater('iconbar', 'iconbar_ajax_menu', { method: 'get' } );
 }