context:     highlightObject: function(element, context, highlightType, boxFrame)    {        if (!element || !isElement(element) || !isVisible(element))            element = null;                if (element && context && context.highlightTimeout)        {            context.clearTimeout(context.highlightTimeout);            delete context.highlightTimeout;        }        var highlighter = highlightType ? getHighlighter(highlightType) : this.defaultHighlighter;        var oldContext = this.highlightedContext;        if (oldContext && highlighter != this.highlighter)        {            if (oldContext.window)                this.highlighter.unhighlight(oldContext);        }                this.highlighter = highlighter;        this.highlightedElement = element;        this.highlightedContext = context;                if (element)        {            highlighter.highlight(context, element, boxFrame);        }        else if (oldContext)        {            oldContext.highlightTimeout = oldContext.setTimeout(function()            {                delete oldContext.highlightTimeout;                if (oldContext.window)                    highlighter.unhighlight(oldContext);            }, inspectDelay);        }    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/inspector.js/buggy/extension/content/firebug/inspector.js