rem: menu._box.style.height = tw_Dialog.menuBarHeight - (tw_sizeIncludesBorders ? 0 : 5) + "px"; 
context:     setMenu: function(menu) {                if (this._menu != null) {            this._container.style.height = parseInt(this._container.style.height) + tw_Dialog.menuBarHeight + "px";            this._box.removeChild(this._menu._box);        }                this._menu = menu;                if (menu instanceof tw_Menu) {            menu._box.style.height = tw_Dialog.menuBarHeight - (tw_sizeIncludesBorders ? 0 : 5) + "px";            this._box.insertBefore(menu._box, this._container);            this._container.style.height = parseInt(this._container.style.height) - tw_Dialog.menuBarHeight + "px";        }    },
meta: 5515	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5515/24e02545b42a490e7acd2cb4e45328f823b29e40/Frame.js/clean/src/thinwire/render/web/resources/Frame.js