rem: torbutton_log(5, "using recommended settings"); 
add: torbutton_log(2, "using recommended settings"); 
context: function torbutton_init_prefs() {    var torprefs = false;    var proxy_port;    var proxy_host;    torbutton_log(4, "called init_prefs()");    torprefs = torbutton_get_prefbranch('extensions.torbutton.');    // Privoxy is always recommended for Firefoxes not supporting socks_remote_dns    if (!torbutton_check_socks_remote_dns())        torprefs.setBoolPref('use_privoxy', true);    if (torprefs.getBoolPref('use_privoxy'))    {        proxy_host = 'localhost';        proxy_port = 8118;    }    else    {        proxy_host = '';        proxy_port = 0;    }    if (torprefs.getCharPref('settings_method') == 'recommended')    {        torbutton_log(5, "using recommended settings");        if (torbutton_check_socks_remote_dns())        {            torprefs.setCharPref('http_proxy', proxy_host);            torprefs.setCharPref('https_proxy', proxy_host);            torprefs.setCharPref('ftp_proxy', '');            torprefs.setCharPref('gopher_proxy', '');            torprefs.setIntPref('http_port', proxy_port);            torprefs.setIntPref('https_port', proxy_port);            torprefs.setIntPref('ftp_port', 0);            torprefs.setIntPref('gopher_port', 0);        } else {            torprefs.setCharPref('http_proxy', proxy_host);            torprefs.setCharPref('https_proxy', proxy_host);            torprefs.setCharPref('ftp_proxy', proxy_host);            torprefs.setCharPref('gopher_proxy', proxy_host);            torprefs.setIntPref('http_port', proxy_port);            torprefs.setIntPref('https_port', proxy_port);            torprefs.setIntPref('ftp_port', proxy_port);            torprefs.setIntPref('gopher_port', proxy_port);        }        torprefs.setCharPref('socks_host', 'localhost');        torprefs.setIntPref('socks_port', 9050);    }    torbutton_log(1, 'http_port='+torprefs.getIntPref('http_port'));    // m_tb_prefs.setCharPref('extensions.torbutton.http_proxy',   m_http_proxy);    // m_tb_prefs.setIntPref('extensions.torbutton.http_port',     m_http_port);    // m_tb_prefs.setCharPref('extensions.torbutton.https_proxy',  m_https_proxy);    // m_tb_prefs.setIntPref('extensions.torbutton.https_port',    m_https_port);    // m_tb_prefs.setCharPref('extensions.torbutton.ftp_proxy',    m_ftp_proxy);    // m_tb_prefs.setIntPref('extensions.torbutton.ftp_port',      m_ftp_port);    // m_tb_prefs.setCharPref('extensions.torbutton.gopher_proxy', m_gopher_proxy);    // m_tb_prefs.setIntPref('extensions.torbutton.gopher_port',   m_gopher_port);    // m_tb_prefs.setCharPref('extensions.torbutton.socks_host',   m_socks_host);    // m_tb_prefs.setIntPref('extensions.torbutton.socks_port',    m_socks_port);}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/40dcb9049bb6b7aafbc03e59afa063688fdd530e/torbutton.js/buggy/src/chrome/content/torbutton.js