rem: torbutton_toggle_win_jsplugins(win, allowed, js_enabled, isolate_dyn, 
add: torbutton_toggle_win_jsplugins(win, tor_enabled, js_enabled, isolate_dyn, 
context: function torbutton_toggle_jsplugins(allowed, isolate_dyn, 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_tb_prefs.getBoolPref("javascript.enabled");    while(enumerator.hasMoreElements()) {        var win = enumerator.getNext();        torbutton_toggle_win_jsplugins(win, allowed, js_enabled, isolate_dyn,                                        kill_plugins);       }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/7a73bce6e53c05c3c3da2a394c14da971dbbdd9e/torbutton.js/clean/src/chrome/content/torbutton.js