rem: this.ovmap = new OpenLayers.Map(this.mapDiv.id, options); 
add: this.ovmap = new OpenLayers.Map(this.mapDiv, options); 
context:     createMap: function() {        // create the overview map        var options = OpenLayers.Util.extend(                        {controls: [], maxResolution: 'auto'}, this.mapOptions);        this.ovmap = new OpenLayers.Map(this.mapDiv.id, options);        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: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/c6850a2b6a111ed0948645c6658a31c84447fc97/OverviewMap.js/buggy/lib/OpenLayers/Control/OverviewMap.js