rem: sourceTab.tab.setAttribute("label", sourceText.shortName); 
add: sourceTab.tab.label.setAttribute("value", sourceText.shortName); 
context: function s2v_loadsource (sourceText, index){    var sourceTab;        if (index in this.sourceTabList)    {        sourceTab = this.sourceTabList[index];        sourceTab.content = null;        sourceTab.sourceText = sourceText;                if ("currentContent" in this)        {            if (!ASSERT(sourceTab.tab,                         "existing sourcetab not fully initialized"))            {                return null;            }            sourceTab.tab.setAttribute("label", sourceText.shortName);            sourceTab.iframe.setAttribute("targetSrc", sourceText.jsdURL);            sourceTab.iframe.setAttribute("raiseOnSync", "true");            this.syncOutputFrame(sourceTab.iframe);        }            }    else    {        sourceTab = {            sourceText: sourceText,            tab: null,            iframe: null,            content: null        };        this.sourceTabList[index] = sourceTab;            if ("currentContent" in this)        {            this.createFrameFor(sourceTab, index, true);        }    }    return sourceTab;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0b8cec04bd582c27a41817979fe87561132d01d/venkman-views.js/buggy/extensions/venkman/resources/content/venkman-views.js