rem: height -= this._borderSizeSub; 
add: height -= this._borderSizeSub + this._paddingSize * 2; 
context:     setHeight: function(height) {        arguments.callee.$.call(this, height);        height -= this._borderSizeSub;        if (height < 0) height = 0;        this._editor.style.height = height - (parseInt(this._editor.style.top) * 2) + "px";            },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/4d154de4a8402dd5867b9c6cf16367013b58ddea/BaseText.js/clean/src/thinwire/render/web/resources/BaseText.js