rem: }; 
add: } 
context: qx.Proto._computeFrameHeight = function(){  var fh = this._cachedBorderTop + this.getPaddingTop() + this.getPaddingBottom() + this._cachedBorderBottom;  switch(this.getOverflow())  {    case qx.ui.core.Widget.SCROLL_VALUE_SCROLL:    case qx.ui.core.Widget.SCROLL_VALUE_SCROLLX:      qx.ui.core.Widget.initOverflow();      fh += qx.ui.core.Widget.SCROLLBAR_SIZE;      break;    case qx.ui.core.Widget.SCROLL_VALUE_AUTO:      // This seems to be really hard to implement      // this.debug("Check Auto Scroll-Y: " + this.getPreferredBoxWidth() + " :: " + this.getBoxWidth());      break;  };  return fh;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/Widget.js/clean/qooxdoo/source/script/qx/ui/core/Widget.js