context: function onToggleMunger(){    client.munger.enabled = !client.munger.enabled;    /*    if (client.munger.enabled)        alert ("The munger may be broken, see " +               "http://bugzilla.mozilla.org/show_bug.cgi?id=22048");    */        document.getElementById("menu-munger").setAttribute ("checked",                                                         client.munger.enabled);}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/34b013589b29a686cc1a854c9e410aa3d16a70ac/handlers.js/buggy/xul/content/handlers.js