rem: }; 
add: } 
context: qx.Proto._modifyVerticalScrollBarVisible = function(propValue, propOldValue, propData) {  // Workaround: See _modifyHorizontalScrollBarVisible  if (propValue) {    this._verScrollBar.setWidth(qx.constant.Core.AUTO);  } else {    this._verScrollBar.setWidth(0);  }  this._verScrollBar.setVisibility(propValue);  var scrollBarWidth = propValue ? this._verScrollBar.getPreferredBoxWidth() : 0;  this._horScrollBar.setPaddingRight(scrollBarWidth);  this._spacer.setWidth(scrollBarWidth);  return true;};
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