rem: s.borderWidth = this.getStyle("borderSize") + "px"; 
add: s.borderWidth = this._borderSize + "px"; 
context:     addColumn: function(index, values, name, width, alignX, sortOrder) {        if (!(values instanceof Array)) eval("values = " + values);                var columnHeader = document.createElement("div");        columnHeader.className = "gridBoxColumnHeader";        var s = columnHeader.style;        s.styleFloat = "left";        s.overflow = "hidden";        s.whiteSpace = "nowrap";                s.height = tw_GridBox.rowHeight + this.getStyle("borderSize") * 2 - this._borderSizeSub + "px";        s.textAlign = alignX;        s.backgroundRepeat = "no-repeat";        s.backgroundPosition = "center right";        if (sortOrder != 0) s.backgroundImage = sortOrder == 1 ? tw_GridBox.imageSortOrderAsc : tw_GridBox.imageSortOrderDesc;         var bs = tw_Component.defaultStyles["Button"];        s.borderWidth = this.getStyle("borderSize") + "px";                s.backgroundColor = bs.backgroundColor;        s.borderStyle = bs.borderType;         s.borderColor = tw_Component.getIEBorder(bs.borderColor, bs.borderType);                columnHeader.appendChild(tw_Component.setRichText(name));                        tw_addEventListener(columnHeader, "focus", this._focusListener);        tw_addEventListener(columnHeader, "blur", this._blurListener);            tw_addEventListener(columnHeader, "click", this._columnClickListener);                var column = document.createElement("div");        column.className = "gridBoxColumn";        var s = column.style;        s.styleFloat = "left";        s.overflow = "hidden";                s.textAlign = alignX;                tw_addEventListener(column, "focus", this._focusListener);        tw_addEventListener(column, "blur", this._blurListener);        var state = this._visibleCheckBoxes ? 0 : -1;                for (var i = 0; i < values.length; i++) {            var cell = this._newCell(values[i], index, state);            column.appendChild(cell);        }                                    this._header.appendChild(columnHeader);                this._content.insertBefore(column, this._content.childNodes.item(index));        this.setColumnWidth(index, width);    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/d532c0ea03ef1c91856bba5408f049541b39c2ba/GridBox.js/buggy/src/thinwire/render/web/resources/GridBox.js