rem: }; }; 
add: } } 
context: qx.Proto._onopentimer = function(e){  // stop the open timer (we need only the first interval)  this._openTimer.stop();  // if we have a item which is currently hovered, open it  var vHover = this.getHoverItem();  if (vHover && vHover.hasMenu()) {    this.setOpenItem(vHover);  };};
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