rem: torbutton_log(4, 'setting panel visibility'); 
add: torbutton_log(2, 'setting panel visibility'); 
context: function torbutton_set_panel_view() {    var o_statuspanel = false;    var o_prefbranch = false;    o_statuspanel = torbutton_get_statuspanel();    o_prefbranch = torbutton_get_prefbranch('extensions.torbutton.');    if (!o_statuspanel || !o_prefbranch) return;    var display_panel = o_prefbranch.getBoolPref('display_panel');    torbutton_log(4, 'setting panel visibility');    o_statuspanel.setAttribute('collapsed', !display_panel);}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js