rem: if( gShowingNavMenuPopup && (e.keyCode==e.DOM_VK_F11||e.keyCode==e.DOM_VK_F23) ) { BrowserMenuSpin(); } 
context: function MenuHandleMenuEscape(e) {  /* This applies because our <key /> handlers would not work when Menu popups are active */   if( gShowingMenuPopup  &&  (e.keyCode==e.DOM_VK_F11||e.keyCode==e.DOM_VK_F23) ) {    BrowserMenuSpin();  }  if( gShowingNavMenuPopup && (e.keyCode==e.DOM_VK_F11||e.keyCode==e.DOM_VK_F23) ) {    BrowserMenuSpin();   }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/486f86f7a36b61172c91601f6ad5c38f8cbbbead/minimo.js/buggy/minimo/chrome/content/minimo.js