rem: if(isolate_js) CheckDocshellTagForJS(browser, allowed, js_enabled); 
add: if(isolate_dyn) torbutton_check_js_tag(browser, allowed, js_enabled);  
context: function torbutton_toggle_win_jsplugins(win, allowed, js_enabled, isolate_js,                                         kill_plugins) {    var browser = win.getBrowser();    if(isolate_js) CheckDocshellTagForJS(browser, allowed, js_enabled);    if(kill_plugins) browser.docShell.allowPlugins = allowed;    var browsers = browser.browsers;    for (var i = 0; i < browsers.length; ++i) {        var b = browser.browsers[i];        if (b) {            if(kill_plugins) b.docShell.allowPlugins = allowed;            if(isolate_js) CheckDocshellTagForJS(b, allowed, js_enabled);            // kill meta-refresh and existing page loading             b.webNavigation.stop(b.webNavigation.STOP_ALL);        }    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6d16d2398792e6b4fdd065aeb02351a0b494ec98/torbutton.js/buggy/src/chrome/content/torbutton.js