context: function MenuEnableEscapeKeys() {	// When popups are on, <key /> not working...bugs like https://bugzilla.mozilla.org/show_bug.cgi?id=55495 	document.addEventListener("keypress",MenuHandleMenuEscape,true); }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/02c5bbeda2a6a1bdb8be5305d3f40613148beb95/minimo.js/buggy/minimo/chrome/content/minimo.js