context: function torbutton_check_js_tag(browser, allowed, js_enabled) {    if (typeof(browser.__tb_js_state) == 'undefined') {        torbutton_log(5, "UNTAGGED WINDOW!!!!!!!!!");    }    if(browser.__tb_js_state == allowed) { // States match, js ok         browser.docShell.allowJavascript = js_enabled;    } else { // States differ or undefined, js not ok         // XXX: hrmm.. way to check for navigator windows?         // non-navigator windows are not tagged..        browser.docShell.allowJavascript = false;    }}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/d7fa2ee3fa22d7de4aa431af5e6efb51d42b28f7/torbutton.js/clean/src/chrome/content/torbutton.js