rem: torbutton_log(1, 'get_toolbutton(): did not find torbutton-button'); 
add: torbutton_log(5, 'get_toolbutton(): did not find torbutton-button'); 
context: function torbutton_get_toolbutton() {    var o_toolbutton = false;    torbutton_log(4, 'get_toolbutton(): looking for button element');    if (document.getElementById("torbutton-button")) {        o_toolbutton = document.getElementById("torbutton-button");    } else if (document.getElementById("torbutton-button-tb")) {        o_toolbutton = document.getElementById("torbutton-button-tb");    } else if (document.getElementById("torbutton-button-tb-msg")) {        o_toolbutton = document.getElementById("torbutton-button-tb-msg");    } else {        torbutton_log(1, 'get_toolbutton(): did not find torbutton-button');    }    return o_toolbutton;}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js