 var observers = OpenLayers.Event.observers; var entry = [element, name, observer, useCapture]; for (var i = 0; i < observers.length; i++) { var observer = observers[i];   var sameEntry = true; for (var j = 0; j < entry.length; j++) { if (entry[j] != observer[j]) { sameEntry = false; break; } }   if (sameEntry) { observers.splice(i--, 1); break; } }  
  stopObserving: function(elementParam, name, observer, useCapture) {    var element = OpenLayers.Util.getElement(elementParam);    useCapture = useCapture || false;    if (name == 'keypress' &&        (navigator.appVersion.match(/Konqueror|Safari|KHTML/)        || element.detachEvent))      name = 'keydown';    if (element && element.removeEventListener) {      element.removeEventListener(name, observer, useCapture);    } else if (element && element.detachEvent) {      element.detachEvent('on' + name, observer);    }  }
2032	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2032/f99d1ce7b021ecfe42c60911d940762ac09edfd9/Events.js/buggy/lib/OpenLayers/Events.js