Ticket #1378: torbutton_hack_around_bug1378.diff

File torbutton_hack_around_bug1378.diff, 1.2 KB (added by lunar, 8 years ago)

Crude hack against 1.2.5

  • src/chrome/content/torbutton.js

    diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
    index 9cf0220..9ec4b18 100644
    a b function torbutton_update_status(mode, force_update) { 
    10001000    // history/cookie clearing
    10011001    if(!changed && !force_update) return;
    10021002
     1003    // /!\ HACK ALERT /!\
     1004    // do not prevent loading of homepage if startup_hack is set
     1005    var startup = m_tb_prefs.getBoolPref("extensions.torbutton.startup_hack");
     1006    torbutton_log(1, 'startup_hack? ' + startup);
     1007    m_tb_prefs.setBoolPref("extensions.torbutton.startup_hack", false);
     1008
    10031009    torprefs.setBoolPref('proxies_applied', mode);
    10041010    if(torprefs.getBoolPref("tor_enabled") != mode) {
    10051011        torbutton_log(3, 'Got external update for: '+mode);
    function torbutton_update_status(mode, force_update) { 
    10261032    torbutton_log(2, 'Toggling JS state');
    10271033
    10281034    torbutton_toggle_jsplugins(mode,
    1029             changed && torprefs.getBoolPref("isolate_content"),
     1035            changed && !startup && torprefs.getBoolPref("isolate_content"),
    10301036            torprefs.getBoolPref("no_tor_plugins"));
    10311037
    10321038    torbutton_log(2, 'Setting user agent');