this.unmonitorEvents = function(object, type, context){    var eventsMonitored = context.eventsMonitored;        for (var i = 0; i < eventsMonitored.length; ++i)    {        if (eventsMonitored[i].object == object && eventsMonitored[i].type == type)        {            eventsMonitored.splice(i, 1);            if (!type)                this.detachAllListeners(object, context.onMonitorEvent, context);            else                object.removeEventListener(type, context.onMonitorEvent, false);            break;        }    }};
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js