var plugin = gPlugins[aFilename]; 
var plugin = gPlugins[aName]; plugin.disabled = !plugin.disabled; for (var i = 0; i < plugin.plugins.length; ++i) plugin.plugins[i].disabled = plugin.disabled; 
function togglePluginDisabled(aFilename){  var plugin = gPlugins[aFilename];  var rdf = Components.classes["@mozilla.org/rdf/rdf-service;1"]                      .getService(Components.interfaces.nsIRDFService);  plugin.disabled = !plugin.disabled;  gPluginsDS.Change(rdf.GetResource(PREFIX_ITEM_URI + plugin.filename),                    rdf.GetResource(PREFIX_NS_EM + "isDisabled"),                    rdf.GetLiteral(plugin.disabled ? "false" : "true"),                    rdf.GetLiteral(plugin.disabled ? "true" : "false"));  gExtensionsViewController.onCommandUpdate();  gExtensionsView.selectedItem.focus();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/622e008513a3a38fa52f591ab95a926c31c93c46/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js