 this.size = newSize; 
    updateSize: function() {        var newSize = this.getCurrentSize();        var oldSize = this.getSize();        if (oldSize == null)            this.size = oldSize = newSize;        if (!newSize.equals(oldSize)) {                        //notify layers of mapresize            for(var i=0; i < this.layers.length; i++) {                this.layers[i].onMapResize();                            }                        // store the new size            this.size = newSize;            // the div might have moved on the page, also            this.events.element.offsets = null;            if (this.baseLayer != null) {                var center = new OpenLayers.Pixel(newSize.w /2, newSize.h / 2);                var centerLL = this.getLonLatFromViewPortPx(center);                var zoom = this.getZoom();                this.zoom = null;                this.setCenter(this.getCenter(), zoom);            }        }    },
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/4e5bc0234a48ac52730fbd16c5fb7347dd5293ad/Map.js/buggy/lib/OpenLayers/Map.js