rem: }; }; }; 
add: } } } 
context: qx.Proto._onmouseover = function(e){  /* ------------------------------    HANDLE PARENT MENU  ------------------------------ */  // look if we have a parent menu  // if so we need to stop the close event started there  var vParent = this.getParentMenu();  if (vParent)  {    // stop the close event    vParent._closeTimer.stop();    // look if we have a opener, too (normally this should be)    var vOpener = this.getOpener();    // then setup it to look hovered    if (vOpener) {      vParent.setHoverItem(vOpener);    };  };  /* ------------------------------    HANDLING FOR HOVERING MYSELF  ------------------------------ */  var t = e.getTarget();  if (t == this)  {    this._openTimer.stop();    this._closeTimer.start();    this.setHoverItem(null);    return;  };  /* ------------------------------    HANDLING FOR HOVERING ITEMS  ------------------------------ */  var vOpen = this.getOpenItem();  // if we have a open item  if (vOpen)  {    this.setHoverItem(t);    this._openTimer.stop();    // if the new one has also a sub menu    if (t.hasMenu())    {      // check if we should use fast reopen (this will open the menu instantly)      if (this.getFastReopen())      {        this.setOpenItem(t);        this._closeTimer.stop();      }      // otherwise we use the default timer interval      else      {        this._openTimer.start();      };    }    // otherwise start the close timer for the old menu    else    {      this._closeTimer.start();    };  }  // otherwise handle the mouseover and restart the timer  else  {    this.setHoverItem(t);    // stop timer for the last open request    this._openTimer.stop();    // and restart it if the new one has a menu, too    if (t.hasMenu()) {      this._openTimer.start();    };  };};
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