+
+
+function toggle_wholist()
+{
+ d = $('online_users').style.display;
+
+ if (d == 'block') {
+ $('online_users').style.display = 'none';
+ $('expand_wholist').src = 'static/expand.gif';
+ wstate=0;
+ }
+
+ else {
+ $('online_users').style.display = 'block';
+ $('expand_wholist').src = 'static/collapse.gif';
+ activate_iconbar_wholist_populat0r();
+ wstate=1;
+ }
+
+ // tell the server what I did
+ p = 'toggle_wholist_expanded_state?wstate=' + wstate + '?rand=' + Math.random() ;
+ new Ajax.Request(p, { method: 'get' } );
+
+ return false; /* this prevents the click from registering as a wholist button press */
+
+}