rem: if (this.maxResolution == null || this.resolution == "auto") { 
add: if (this.maxResolution == null || this.maxResolution == "auto") { 
context:     initialize: function (div, options) {        Object.extend(this, options);        this.div = div = $(div);        // the viewPortDiv is the outermost div we modify        var id = div.id + "_OpenLayers_ViewPort";        this.viewPortDiv = OpenLayers.Util.createDiv(id, null, null, null,                                                     "relative", null,                                                     "hidden");        this.viewPortDiv.style.width = "100%";        this.viewPortDiv.style.height = "100%";        this.div.appendChild(this.viewPortDiv);        // the layerContainerDiv is the one that holds all the layers        id = div.id + "_OpenLayers_Container";        this.layerContainerDiv = OpenLayers.Util.createDiv(id);        this.viewPortDiv.appendChild(this.layerContainerDiv);        this.events = new OpenLayers.Events(this, div, this.EVENT_TYPES);        this.updateSize();        // make the entire maxExtent fix in zoom level 0 by default        if (this.maxResolution == null || this.resolution == "auto") {            this.maxResolution = Math.max(                this.maxExtent.getWidth()  / this.size.w,                this.maxExtent.getHeight() / this.size.h );        }        // update the internal size register whenever the div is resized        this.events.register("resize", this, this.updateSize);        this.layers = [];                if (!this.controls) {            this.controls = [];            this.addControl(new OpenLayers.Control.MouseDefaults());            this.addControl(new OpenLayers.Control.PanZoom());        }        this.popups = new Array();        // always call map.destroy()        Event.observe(window, 'unload',             this.destroy.bindAsEventListener(this));    },
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/7b8dc5bb34128fc40e80035a26ccaeda55d01f57/Map.js/clean/lib/OpenLayers/Map.js