rem: height -= tw_Dialog.titleBarHeight - (this._menu == null ? 0 : tw_Dialog.menuBarHeight) - this.getStyle("borderSize") * 2; 
add: height -= tw_Dialog.titleBarHeight + (this._menu == null ? 0 : tw_Dialog.menuBarHeight) + this.getStyle("borderSize") * 2; 
context:     setHeight: function(height) {        this.$.setHeight.apply(this, [height]);                height -= tw_Dialog.titleBarHeight - (this._menu == null ? 0 : tw_Dialog.menuBarHeight) - this.getStyle("borderSize") * 2;        if (height < 0) height = 0;        this._container.style.height = height + "px";    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/f1782c774313ba79c127ba5da30580c5ce1f4c32/Dialog.js/clean/src/thinwire/render/web/resources/Dialog.js