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