rem: if (console.sourceView.prettyPrint) 
add: if (console.prefs["prettyprint"] && e.scriptWrapper.sourceText) 
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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/92b1e3b67c6c3ef1915d2a0e18c1fa7be21e200e/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js