1 /* toggle visibility of an element by its id

     2  * & set current visibility status in a cookie

     3  * XXX whenever used outside of preferences, don't forget to

     4  *     move me in a more appropriate place

     5  */

     6 function toggle_and_remember_visibility(elemId, cookiename) {

     7     jqNode(elemId).toggleClass('hidden');

     8     async_remote_exec('set_cookie', cookiename,

     9                       jQuery('#' + elemId).attr('class'));

    10 }