rem: var js_enabled = m_prefs.getBoolPref("javascript.enabled"); 
add: var js_enabled = m_tb_prefs.getBoolPref("javascript.enabled"); 
context: function torbutton_toggle_jsplugins(allowed, isolate_js, kill_plugins) {    torbutton_log(1, "Plugins: "+allowed);    var wm = Components.classes["@mozilla.org/appshell/window-mediator;1"]                       .getService(Components.interfaces.nsIWindowMediator);    var enumerator = wm.getEnumerator("navigator:browser");    var js_enabled = m_prefs.getBoolPref("javascript.enabled");    while(enumerator.hasMoreElements()) {        var win = enumerator.getNext();        torbutton_toggle_win_jsplugins(win, allowed, js_enabled, isolate_js,                                        kill_plugins);       }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6d16d2398792e6b4fdd065aeb02351a0b494ec98/torbutton.js/buggy/src/chrome/content/torbutton.js