rem: }; 
add: } 
context: qx.Proto._onshowtimer = function(e){  this.setLeft(qx.event.type.MouseEvent.getPageX() + this.getMousePointerOffsetX());  this.setTop(qx.event.type.MouseEvent.getPageY() + this.getMousePointerOffsetY());  this.show();  // we need a manual flushing because it could be that  // there is currently no event which do this for us  // and so show the tooltip.  qx.ui.core.Widget.flushGlobalQueues();  return true;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/ToolTip.js/buggy/qooxdoo/source/script/qx/ui/popup/ToolTip.js