context:   stopObserving: function(element, name, observer, useCapture) {    var element = $(element);    useCapture = useCapture || false;        if (name == 'keypress' &&        ((navigator.appVersion.indexOf('AppleWebKit') > 0)         || element.detachEvent))      name = 'keydown';        if (element.removeEventListener) {      element.removeEventListener(name, observer, useCapture);    } else if (element.detachEvent) {      element.detachEvent('on' + name, observer);    }  }
meta: 2749	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2749/3f913f897829fb026ef98df2d57f8da94ee5339d/prototype.js/clean/public/javascripts/prototype.js