rem: console.sourceView.details = e.scriptRec;  
context: function cmdFindScript (e){    var rv;    if (console.sourceView.prettyPrint)    {        delete console.highlightFile;        delete console.highlightStart;        delete console.highlightEnd;        console.sourceView.displaySourceText(e.scriptRec.sourceText);        rv = e.scriptRec.script.fileName;    }    else    {        rv = dispatch("find-url", {url: e.scriptRec.parentRecord.fileName,                                   rangeStart: e.scriptRec.baseLineNumber,                                   rangeEnd: e.scriptRec.baseLineNumber +                                              e.scriptRec.lineExtent - 1});    }    console.sourceView.details = e.scriptRec;        return rv;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js