context:                 this.showSourceFile(object, function(sourceLink, sourceBox)                 {                    if (FBTrace.DBG_CSS)                                                                               /*@explore*/                        FBTrace.sysout("css.Decorator href="+sourceLink.href+" lineNo="+sourceLink.line+"\n");         /*@explore*/                    if (sourceBox.sourceRow)                        sourceBox.sourceRow.removeAttribute("exeLine");                                            var lineNo = sourceLink.line;                    if (lineNo)                    {                        sourceBox.sourceRow = sourceBox.childNodes[lineNo-1];                        if (sourceBox.sourceRow)                        {                            sourceBox.sourceRow.setAttribute("exeLine", "true");                            scrollIntoCenterView(sourceBox.sourceRow, sourceBox);  // I don't know why this does not work.                        }                    }                });
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/css.js/buggy/extension/content/firebug/css.js