rem: }; 
add: } 
context:   qx.Proto._onmouseevent = function(vDomEvent)  {    if (!qx.core.Init.getComponent().isUiReady()) {      return;    };    qx.core.Init.getComponent().preload();    var vDomTarget = vDomEvent.target;    var vType = vDomEvent.type;    switch(vType)    {      case qx.event.handler.EventHandler.DOMMOUSESCROLL:        // normalize mousewheel event        vType = qx.constant.Event.MOUSEWHEEL;        break;      case qx.constant.Event.CLICK:      case qx.constant.Event.DBLCLICK:        // ignore click or dblclick events with other then the left mouse button        if (vDomEvent.button != qx.event.type.MouseEvent.buttons.left) {          return;        };      // Seems not to be needed anymore. Otherwise we should reinclude it.      /*      case qx.constant.Event.MOUSEDOWN:        if(vDomTarget && vDomTarget.localName == "IMG" && vDomTarget.qx_Widget) {          qx.event.handler.EventHandler.stopDomEvent(vDomEvent);        };      */    };    this._onmouseevent_post(vDomEvent, vType, vDomTarget);  };
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/EventHandler.js/buggy/qooxdoo/source/script/qx/event/handler/EventHandler.js