rem: this.ovmap = new OpenLayers.Map(this.mapDiv.id, {controls: [], maxResolution: 'auto'}); 
add: var options = OpenLayers.Util.extend( {controls: [], maxResolution: 'auto'}, this.mapOptions); this.ovmap = new OpenLayers.Map(this.mapDiv.id, options); 
context:     createMap: function() {        // create the overview map        this.ovmap = new OpenLayers.Map(this.mapDiv.id, {controls: [], maxResolution: 'auto'});        this.ovmap.addLayers(this.layers);        this.ovmap.zoomToMaxExtent();        // check extent rectangle border width        this.wComp = parseInt(OpenLayers.Element.getStyle(this.extentRectangle,                                               'border-left-width')) +                     parseInt(OpenLayers.Element.getStyle(this.extentRectangle,                                               'border-right-width'));        this.wComp = (this.wComp) ? this.wComp : 2;        this.hComp = parseInt(OpenLayers.Element.getStyle(this.extentRectangle,                                               'border-top-width')) +                     parseInt(OpenLayers.Element.getStyle(this.extentRectangle,                                               'border-bottom-width'));        this.hComp = (this.hComp) ? this.hComp : 2;    },
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/1f2ad2f8101274d9c4afbe7389379cb4aef1e1d5/OverviewMap.js/clean/lib/OpenLayers/Control/OverviewMap.js