rem: var tooltip; 
add: if(override) nMode = true; 
context: function torbutton_update_plugin_status(nMode) {    torbutton_log(2, 'called update_plugin_status('+nMode+')');    if (!window.statusbar.visible)        return;    torbutton_log(2, 'visible statusbar: ('+nMode+')');    var o_stringbundle = torbutton_get_stringbundle();    var tooltip;        if(nMode) {        tooltip = o_stringbundle.GetStringFromName("torbutton.panel.plugins.enabled");    } else {        tooltip = o_stringbundle.GetStringFromName("torbutton.panel.plugins.disabled");    }      // FIXME: hrmm.. consider changing this value    document.getElementById("plugins-status").setAttribute("status", nMode ?  "1" : "0");    document.getElementById("plugins-status").setAttribute('tooltiptext', tooltip);    m_prefs.setBoolPref("security.enable_java", nMode);    AllowPlugins(nMode);        torbutton_log(2, 'javascript toggled');}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/0b6b81fd07ee0b417fedeacbf38c0832ce0b6667/torbutton.js/clean/src/chrome/content/torbutton.js