rem: sourceTab.iframe.contentDocument.getElementsByTagName ("source-listing"); 
add: sourceTab.iframe.contentDocument.getElementsByTagName("source-listing"); 
context: function s2v_tabloaded (sourceTab, status){    var collection =         sourceTab.iframe.contentDocument.getElementsByTagName ("source-listing");    sourceTab.content = collection[0];    if (!sourceTab.content)    {        //dd ("tab loaded, but had no content, about:blank crap?");        return;    }        this.markStopLine (sourceTab, getCurrentFrame());    if (sourceTab == this.highlightTab)        this.markHighlight();    if ("scrollPosition" in sourceTab)    {        this.scrollTabTo (sourceTab, sourceTab.scrollPosition[0],                          sourceTab.scrollPosition[1]);    }    this.initMargin (sourceTab);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/061f2165797f523438806cb01147edccb502e125/venkman-views.js/clean/extensions/venkman/resources/content/venkman-views.js