rem: OpenLayers.Event.stop(evt); return false; 
context:     defaultDblClick: function (evt) {        var newCenter = this.map.getLonLatFromViewPortPx( evt.xy );         this.map.setCenter(newCenter, this.map.zoom + 1);        OpenLayers.Event.stop(evt);        return false;    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/2e507b68b74271f1aefa70f1687e4a78c8c6f5e0/Navigation.js/clean/lib/OpenLayers/Control/Navigation.js