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: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/91bfdb61ed1716add0ced423601fa0127b5374c7/navigatorDD.js/clean/suite/browser/navigatorDD.js