rem: this.stopInspecting(true); 
add: this.stopInspecting(true); 
context:     destroyContext: function(context)    {        if (context.highlightTimeout)        {            context.clearTimeout(context.highlightTimeout);            delete context.highlightTimeout;        }        if (this.inspecting)            this.stopInspecting(true);      },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/inspector.js/buggy/extension/content/firebug/inspector.js