rem: console.sourceView.displaySource(source); 
add: console.sourceView.displaySourceText(sourceText); 
context:     function tryAgain (result)    {        if (result == Components.results.NS_OK)            console.sourceView.displaySource(source);        else        {            dd ("source load failed: '" + source.fileName + "'");        }    }
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/e014e7e6630afe8d70caa7198725aea7c354a0db/venkman-outliners.js/buggy/extensions/venkman/resources/content/venkman-outliners.js