context: qx.Proto.getMinHeightValue = function(){  if (this._computedMinHeightValue != null) {    return this._computedMinHeightValue;  }  switch(this._computedMinHeightType)  {    case qx.ui.core.Widget.TYPE_PIXEL:      return this._computedMinHeightValue = this._computeValuePixelLimit(this._computedMinHeightParsed);    case qx.ui.core.Widget.TYPE_PERCENT:      return this._computedMinHeightValue = this._computeValuePercentYLimit(this._computedMinHeightParsed);    case qx.ui.core.Widget.TYPE_AUTO:      return this._computedMinHeightValue = this.getPreferredBoxHeight();  }  return null;}
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