context: qx.Proto._modifyBorder = function(propValue, propOldValue, propData){  var vOldTop = this._cachedBorderTop;  var vOldRight = this._cachedBorderRight;  var vOldBottom = this._cachedBorderBottom;  var vOldLeft = this._cachedBorderLeft;  if (propOldValue) {    propOldValue.removeListenerWidget(this);  }  if (propValue)  {    propValue.addListenerWidget(this);    this._cachedBorderTop = propValue.getTopWidth();    this._cachedBorderRight = propValue.getRightWidth();    this._cachedBorderBottom = propValue.getBottomWidth();    this._cachedBorderLeft = propValue.getLeftWidth();  }  else  {    this._cachedBorderTop = this._cachedBorderRight = this._cachedBorderBottom = this._cachedBorderLeft = 0;  }  // ----------------  // X-AXIS  // ----------------  if ((vOldLeft + vOldRight) != (this._cachedBorderLeft + this._cachedBorderRight)) {    this._invalidateFrameWidth();  }  this.addToQueue(qx.ui.core.Widget.PROPERTY_BORDERX);  // ----------------  // Y-AXIS  // ----------------  if ((vOldTop + vOldBottom) != (this._cachedBorderTop + this._cachedBorderBottom)) {    this._invalidateFrameHeight();  }  this.addToQueue(qx.ui.core.Widget.PROPERTY_BORDERY);  return true;}
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