rem: }; 
add: } 
context:   qx.dom.DomDimension.getAreaWidth = function(el)  {    // 0 in clientWidth could mean both: That it is really 0 or    // that the element is not rendered by the browser and    // therefore it is 0, too    return el.clientWidth != 0 ? el.clientWidth : (qx.dom.DomDimension.getBoxWidth(el) - qx.dom.DomDimension.getInsetLeft(el) - qx.dom.DomDimension.getInsetRight(el));  };
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/DomDimension.js/buggy/qooxdoo/source/script/qx/dom/DomDimension.js