rem: if(!m_prefs.getBoolPref("extensions.torbutton.allow_plugins")) { 
add: if(m_prefs.getBoolPref("extensions.torbutton.tor_enabled") && m_prefs.getBoolPref("extensions.torbutton.no_tor_plugins")) { 
context: function NewTabEvent(event){     // listening for new tabs    torbutton_log(1, "New tab");    // Fucking garbage.. event is delivered to the current tab, not the     // newly created one. Need to traverse the current window for it.    if(!m_prefs.getBoolPref("extensions.torbutton.allow_plugins")) {        var wm = Components.classes["@mozilla.org/appshell/window-mediator;1"]                   .getService(Components.interfaces.nsIWindowMediator);        var browserWindow = wm.getMostRecentWindow("navigator:browser");          AllowWindowPlugins(browserWindow, false);    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/0b6b81fd07ee0b417fedeacbf38c0832ce0b6667/torbutton.js/clean/src/chrome/content/torbutton.js