context: qx.Proto.getHeightValue = function(){  if (this._computedHeightValue != null) {    return this._computedHeightValue;  }  switch(this._computedHeightType)  {    case qx.ui.core.Widget.TYPE_PIXEL:      return this._computedHeightValue = this._computeValuePixelLimit(this._computedHeightParsed);    case qx.ui.core.Widget.TYPE_PERCENT:      return this._computedHeightValue = this._computeValuePercentYLimit(this._computedHeightParsed);    case qx.ui.core.Widget.TYPE_AUTO:      return this._computedHeightValue = this.getPreferredBoxHeight();    case qx.ui.core.Widget.TYPE_FLEX:      try{        this.getParent().getLayoutImpl().computeChildrenFlexHeight();      } catch (e){        if (this.getParent().getLayoutImpl()["computeChildrenFlexHeight"] == null){          throw new Error("Widget " + this + ": having flex size but parent layout does not support it");        } else {          throw e;        }      }      return this._computedHeightValue = this._computedHeightFlexValue;  }  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