rem: }; 
add: } 
context:   qx.dom.DomDimension.getInsetBottom = function(el) {    // Alternative method if clientHeight is unavailable    // clientHeight == 0 could mean both: unavailable or really 0    if (el.clientHeight == 0) {      var ov = qx.dom.DomStyle.getStyleProperty(el, qx.constant.Style.PROPERTY_OVERFLOW_BOTH);      var sbv = ov == "scroll" || ov == "-moz-scrollbars-horizontal" ? 16 : 0;      return Math.max(0, qx.dom.DomStyle.getBorderBottom(el) + sbv);    };    return Math.max(0, el.offsetHeight - el.clientHeight - qx.dom.DomStyle.getBorderTop(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