rem: gCurrentDragOverMenu.closePopup(); 
add: gCurrentDragOverMenu.hidePopup(); 
context: function closeOpenMenu(){  if (gCurrentDragOverMenu && gCurrentTarget.firstChild != gCurrentDragOverMenu) {    if (gCurrentTarget.parentNode != gCurrentDragOverMenu) {      gMenuIsOpen = false;      gCurrentDragOverMenu.closePopup();      gCurrentDragOverMenu = null;    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/ac2cfadcc9c55f0b2f2a941182b3c699a87933e6/navigatorDD.js/clean/xpfe/browser/resources/content/navigatorDD.js