rem: }; 
add: } 
context: qx.Proto._modifyCurrentToolTip = function(propValue, propOldValue, propData){  // Return if the new tooltip is a child of the old one  if(propOldValue && propOldValue.contains(propValue)) {    return;  };  // If old tooltip existing, hide it and clear widget binding  if(propOldValue)  {    propOldValue.hide();    propOldValue._stopShowTimer();    propOldValue._stopHideTimer();  };  // If new tooltip is not null, set it up and start the timer  if(propValue) {    propValue._startShowTimer();  };  return true;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/ToolTipManager.js/buggy/qooxdoo/source/script/qx/manager/object/ToolTipManager.js