rem: return true; 
add: return rv; 
context: function cmdFindScript (e){    if (console.sourceView.prettyPrint)    {        delete console.highlightFile;        delete console.highlightStart;        delete console.highlightEnd;        console.sourceView.displaySourceText(e.scriptRec.sourceText);    }    else    {        cmdFindURL({url: e.scriptRec.parentRecord.fileName,                     rangeStart: e.scriptRec.baseLineNumber,                     rangeEnd: e.scriptRec.baseLineNumber +                                e.scriptRec.lineExtent - 1                    });    }    console.sourceView.details = e.scriptRec;        return true;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/ee3e81c9eee0bf8794a2af998756d3a96e8053ee/venkman-commands.js/buggy/extensions/venkman/resources/content/venkman-commands.js