rem: var headerHeight = tw_GridBox.rowHeight + this._borderSizeSub; 
context:     setVisibleHeader: function(visibleHeader) {                if (this._header == null || this._content == null) return;         var header = this._header;        var body = this._content.parentNode;        var gbHeight = this._height - this._borderSizeSub;                if (visibleHeader) {            var gbWidth = this._width - this._borderSizeSub;            if (gbWidth < 0) gbWidth = 0;            header.style.width = gbWidth + "px";            header.style.height = tw_GridBox.rowHeight + this._borderSizeSub + "px";                        header.style.top = this._box.scrollTop + "px";            if (this._visibleHeader) tw_addEventListener(this._box.childNodes.item(1), "scroll", this._scrollListener);                                header.style.display = "block";            var headerHeight = tw_GridBox.rowHeight + this._borderSizeSub;            body.style.top = headerHeight + "px";            body.style.height = gbHeight < headerHeight ? "0px" : (gbHeight - headerHeight) + "px";        } else {            header.style.display = "none";            body.style.top = "0px";            body.style.height = gbHeight < 0 ? "0px" : (gbHeight + "px");            if (!this._visibleHeader) tw_removeEventListener(this._box.childNodes.item(1), "scroll", this._scrollListener);                            }                this._visibleHeader = visibleHeader;    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/08678d7dea9b1128e89dae68c0cc8da8c8dec68c/GridBox.js/buggy/src/thinwire/render/web/resources/GridBox.js