context: qx.Proto._computeFrameWidth = function(){  var fw = this._cachedBorderLeft + this.getPaddingLeft() + this.getPaddingRight() + this._cachedBorderRight;  switch(this.getOverflow())  {    case qx.ui.core.Widget.SCROLL_VALUE_SCROLL:    case qx.ui.core.Widget.SCROLL_VALUE_SCROLLY:      qx.ui.core.Widget.initOverflow();      fw += 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-X: " + this.getPreferredBoxHeight() + " :: " + this.getBoxHeight());      break;  }  return fw;}
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/32797ee18a2c92a797417cb1392f24fa90943b97/Widget.js/buggy/qooxdoo/frontend/framework/source/class/qx/ui/core/Widget.js