context: proto._modifyPaddingVertical = function(propValue, propOldValue, propName, uniqModIds){  if (isValid(propValue))  {    this.setStyleProperty(propName, Math.round(propValue) + "px");  }  else  {    this.removeStyleProperty(propName);  };  // the border eventually change the dimensions  // if we want a inner or area (min-/max-) width/height  // we must recalculate our dimensions now.  this._recalculateFrameHeight("padding");    // this also changes the preferred height  this._invalidatePreferredHeight();  return true;};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/ee8bda88301088375d4815625181857cb6281591/QxWidget.js/buggy/qooxdoo/source/script/widgets/QxWidget.js