rem: if(m_prefs.getBoolPref("extensions.torbutton.no_tor_plugins") && torbutton_check_status()) { m_prefs.setBoolPref("extensions.torbutton.allow_plugins", false) } 
add: torbutton_update_plugin_status(!torbutton_check_status()); 
context: function torbutton_init_pluginbutton() {    if(m_prefs.getBoolPref("extensions.torbutton.no_tor_plugins")         && torbutton_check_status()) {        m_prefs.setBoolPref("extensions.torbutton.allow_plugins", false)    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/0b6b81fd07ee0b417fedeacbf38c0832ce0b6667/torbutton.js/clean/src/chrome/content/torbutton.js