rem: if (!tw_sizeIncludesBorders) height -= parseInt(this._buttonBorder.style.borderWidth) * 2; 
add: if (!tw_sizeIncludesBorders) height -= this._buttonBorderWidth * 2; 
context:     setHeight: function(height) {        this.$.setHeight.apply(this, [height]);        height -= this._borderSizeSub;        if (!tw_sizeIncludesBorders) height -= parseInt(this._buttonBorder.style.borderWidth) * 2;        if (height < 0) height = 0;                this._buttonBorder.style.height = height + "px";        height -= this._borderSizeSub;        if (height < 0) height = 0;                this._button.style.height = height + "px";     },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/24e02545b42a490e7acd2cb4e45328f823b29e40/DropDown.js/clean/src/thinwire/render/web/resources/DropDown.js