rem: nonprefs = torbutton_get_prefbranch('network.proxy.'); 
add: liveprefs = torbutton_get_prefbranch('network.proxy.'); 
context: function torbutton_check_status() {    var nonprefs = false;    var torprefs = false;    nonprefs = torbutton_get_prefbranch('network.proxy.');    torprefs = torbutton_get_prefbranch('extensions.torbutton.');    if (!nonprefs || !torprefs) return;    if (torbutton_check_socks_remote_dns())         remote_dns = nonprefs.getBoolPref("socks_remote_dns");    else         remote_dns = true;    return ( (nonprefs.getIntPref("type")           == 1)              &&             (nonprefs.getCharPref("http")          == torprefs.getCharPref('http_proxy'))   &&             (nonprefs.getIntPref("http_port")      == torprefs.getIntPref('http_port'))     &&             (nonprefs.getCharPref("ssl")           == torprefs.getCharPref('https_proxy'))  &&             (nonprefs.getIntPref("ssl_port")       == torprefs.getIntPref('https_port'))    &&             (nonprefs.getCharPref("ftp")           == torprefs.getCharPref('ftp_proxy'))    &&             (nonprefs.getIntPref("ftp_port")       == torprefs.getIntPref('ftp_port'))      &&             (nonprefs.getCharPref("gopher")        == torprefs.getCharPref('gopher_proxy')) &&             (nonprefs.getIntPref("gopher_port")    == torprefs.getIntPref('gopher_port'))   &&             (nonprefs.getCharPref("socks")         == torprefs.getCharPref('socks_host'))   &&             (nonprefs.getIntPref("socks_port")     == torprefs.getIntPref('socks_port'))    &&             (nonprefs.getIntPref("socks_version")  == 5)              &&             (nonprefs.getBoolPref("share_proxy_settings") == false)   &&             (remote_dns == true) );}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/8814fc4fb8d2f623f6ab8c0afc06b73742ad759b/torbutton.js/buggy/src/chrome/content/torbutton.js