rem: torbutton_log(1, "Tor state: "+tor_enabled); 
add: torbutton_log(1, "Toggle plugins for: "+tor_enabled); 
context: function torbutton_toggle_jsplugins(tor_enabled, isolate_dyn, kill_plugins) {    torbutton_log(1, "Tor state: "+tor_enabled);    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, tor_enabled, js_enabled, isolate_dyn,                                        kill_plugins);       }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/c2513fa317a4be7f1fd1a468d779ff7ce73806d2/torbutton.js/clean/src/chrome/content/torbutton.js