rem: if(!this.hover) { return; } if(!(OpenLayers.Util.indexOf(this.layer.selectedFeatures, feature) > -1)) { 
add: if(this.hover && (OpenLayers.Util.indexOf(this.layer.selectedFeatures, feature) == -1)) { 
context:     overFeature: function(feature) {        if(!this.hover) {            return;        }        if(!(OpenLayers.Util.indexOf(this.layer.selectedFeatures, feature) > -1)) {            this.select(feature);        }    },
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1027/6fb48c0cd7287bb56cb8c68518c8994201948720/SelectFeature.js/buggy/lib/OpenLayers/Control/SelectFeature.js