rem: hdr = document.getElementById("source-line-text"); 
add: var hdr = document.getElementById("source-line-text"); 
context: function sov_dsource (source){    if (source == this.childData)        return;        function tryAgain (result)    {        if (result == Components.results.NS_OK)            console.sourceView.displaySource(source);        else        {            dd ("source load failed: '" + source.fileName + "'");        }    }    /* save the current position before we change to another source */    if (this.childData)        this.childData.lastTopRow = this.outliner.getFirstVisibleRow() + 1;        /* if the source for his record isn't loaded yet, load it and call ourselves     * back after */    if (!source.isLoaded)    {        /* clear the view while we wait for the source */        delete this.childData;        this.rowCount = 0;        this.outliner.rowCountChanged(0, 0);        this.outliner.invalidate();        /* load the source, call the tryAgain function when it's done. */        source.loadSource(tryAgain);        return;    }    this.childData = source;        this.rowCount = source.sourceText.length;    this.tabString = leftPadString ("", source.tabWidth, " ");    this.outliner.rowCountChanged(0, this.rowCount);    this.outliner.invalidate();    hdr = document.getElementById("source-line-text");    hdr.setAttribute ("label", source.fileName);    if (this.pendingScroll)    {        this.scrollTo (this.pendingScroll[0], this.pendingScroll[1]);        delete this.pendingScroll;    }        if (typeof this.pendingSelect != "undefined")    {        console.sourceView.selection.timedSelect (this.pendingSelect, 500);        delete this.pendingSelect;    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e157005cdf5676003e826bc016dc3bbaaef91c67/venkman-trees.js/buggy/extensions/venkman/resources/content/venkman-trees.js