rem:  if (EchoWebCore.VirtualPosition._verifyPixelValue(element.style.top) && EchoWebCore.VirtualPosition._verifyPixelValue(element.style.bottom)) { var offsets = EchoWebCore.VirtualPosition._calculateOffsets( EchoWebCore.VirtualPosition._OFFSETS_VERTICAL, element.style); if (offsets != -1) { var calculatedHeight = element.parentNode.offsetHeight - parseInt(element.style.top) - parseInt(element.style.bottom) - offsets; if (calculatedHeight <= 0) { element.style.height = 0; } else { if (element.style.height != calculatedHeight + "px") { element.style.height = calculatedHeight + "px"; 
add:  var offsetHeight = element.parentNode.offsetHeight; if (!isNaN(offsetHeight)) { if (EchoWebCore.VirtualPosition._verifyPixelValue(element.style.top) && EchoWebCore.VirtualPosition._verifyPixelValue(element.style.bottom)) { var offsets = EchoWebCore.VirtualPosition._calculateOffsets( EchoWebCore.VirtualPosition._OFFSETS_VERTICAL, element.style); if (offsets != -1) { calculatedHeight = offsetHeight - parseInt(element.style.top) - parseInt(element.style.bottom) - offsets; if (calculatedHeight <= 0) { element.style.height = 0; } else { if (element.style.height != calculatedHeight + "px") { element.style.height = calculatedHeight + "px"; } 
context: EchoWebCore.VirtualPosition._adjust = function(element) {    // Adjust 'height' property if 'top' and 'bottom' properties are set,     // and if all padding/margin/borders are 0 or set in pixel units .    if (EchoWebCore.VirtualPosition._verifyPixelValue(element.style.top)            && EchoWebCore.VirtualPosition._verifyPixelValue(element.style.bottom)) {        var offsets = EchoWebCore.VirtualPosition._calculateOffsets(                EchoWebCore.VirtualPosition._OFFSETS_VERTICAL, element.style);        if (offsets != -1) {            var calculatedHeight = element.parentNode.offsetHeight - parseInt(element.style.top)                     - parseInt(element.style.bottom) - offsets;            if (calculatedHeight <= 0) {                element.style.height = 0;            } else {                if (element.style.height != calculatedHeight + "px") {                    element.style.height = calculatedHeight + "px";                }            }        }    }        // Adjust 'width' property if 'left' and 'right' properties are set,     // and if all padding/margin/borders are 0 or set in pixel units .    if (EchoWebCore.VirtualPosition._verifyPixelValue(element.style.left)            && EchoWebCore.VirtualPosition._verifyPixelValue(element.style.right)) {        var offsets = EchoWebCore.VirtualPosition._calculateOffsets(                EchoWebCore.VirtualPosition._OFFSETS_HORIZONTAL, element.style);        if (offsets != -1) {            var calculatedWidth = element.parentNode.offsetWidth - parseInt(element.style.left)                    - parseInt(element.style.right) - offsets;            if (calculatedWidth <= 0) {                element.style.width = 0;            } else {                if (element.style.width != calculatedWidth + "px") {                    element.style.width = calculatedWidth + "px";                }            }        }    }};
meta: 600	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/600/63e52da20d47fb3f7574bbff79a10871d5815f23/WebCore.js/buggy/src/webcontainer/java/nextapp/echo/webcontainer/resource/js/WebCore.js