add: if (this.size.w == 0 && this.size.h == 0) { this.size.w = parseInt(this.div.style.width); this.size.h = parseInt(this.div.style.height); } 
context:     updateSize: function() {        this.size = new OpenLayers.Size(                    this.div.clientWidth, this.div.clientHeight);        this.events.div.offsets = null;        // Workaround for the fact that hidden elements return 0 for size.        if (this.size.w == 0 && this.size.h == 0) {            var dim = Element.getDimensions(this.div);            this.size.w = dim.width;            this.size.h = dim.height;        }    },
meta: 8310	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8310/9b9a902ec08042e3d889ed6caaf0940320e54a1c/Map.js/buggy/lib/OpenLayers/Map.js