rem: }; 
add: } 
context: qx.Proto.setTopRightWidget = function(widget) {  var oldWidget = this._topRightWidget;  if (oldWidget != null) {    this._top.remove(oldWidget);  }  if (widget != null) {    this._top.remove(this._spacer);    this._top.add(widget);  } else if (oldWidget != null) {    this._top.add(this._spacer);  }  this._topRightWidget = widget;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/TablePaneScroller.js/buggy/qooxdoo/source/script/qx/ui/table/TablePaneScroller.js