rem: }; 
add: } 
context: qx.Proto._onmouseout = function(e){  // stop the open timer (for any previous open requests)  this._openTimer.stop();  // start the close timer to hide a menu if needed  var t = e.getTarget();  if (t != this && t.hasMenu()) {    this._closeTimer.start();  };  // reset the current hover item  this.setHoverItem(null);};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/Menu.js/clean/qooxdoo/source/script/qx/ui/menu/Menu.js