context: function TagDocshellForJS(browser, allowed) {    if (typeof(browser.__tb_js_state) == 'undefined') {        //@JSD_BREAK        torbutton_log(5, "UNTAGGED WINDOW!!!!!!!!!");    }    if(browser.__tb_js_state == allowed) {        // States match, js ok         browser.docShell.allowJavascript =             m_prefs.getBoolPref("javascript.enabled");    } else {        // States differ or undefined, js not ok         browser.docShell.allowJavascript = false;    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/6eb06242dc852a2fb22e7c2c565004d895833f1b/torbutton.js/clean/src/chrome/content/torbutton.js