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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/89326cbcdc6feb4eef3ffc00bb488c9640e8dd81/venkman-trees.js/clean/extensions/venkman/resources/content/venkman-trees.js