rem: torbutton_log(1, 'called toggle()'); 
add: torbutton_log(3, 'called toggle()'); 
context: function torbutton_toggle() {    var o_toolbutton = false;    o_toolbutton = torbutton_get_toolbutton();    torbutton_log(1, 'called toggle()');    if (!m_tb_wasinited) {        torbutton_init();    }    if (torbutton_check_status()) {        torbutton_disable_tor();    } else {        torbutton_enable_tor();    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js