rem: console.sourceView.displaySourceText(sourceText); console.sourceView.tree.invalidate(); if ("command" in e && e.command.name == "find-url-soft") console.sourceView.softScrollTo (line); 
add: var params = { sourceText: sourceText, rangeStart: e.rangeStart, rangeEnd: e.rangeEnd, targetLine: e.targetLine, details: e.details };  if (e.command.name.indexOf("soft") == -1) dispatch ("find-sourcetext", params); 
context: function cmdFindURL (e){    if (!e.url)    {        console.sourceView.displaySourceText(null);        return null;    }        var sourceText;        if (e.url.indexOf("x-jsd:") == 0)    {        if (e.url == "x-jsd:help")        {            dispatch ("help");            return e.url;        }        display (getMsg(MSN_ERR_INVALID_PARAM, ["url", e.url]), MT_ERROR);        return null;    }        if (e.url in console.scripts)        sourceText = console.scripts[e.url].sourceText;    else if (e.url in console.files)        sourceText = console.files[e.url];    else        sourceText = console.files[e.url] = new SourceText (null, e.url);    console.sourceView.details = null;    console.highlightFile = e.url;    var line = 1;    delete console.highlightStart;    delete console.highlightEnd;    if ("rangeStart" in e && e.rangeStart != null)    {        line = e.rangeStart;        if (e.rangeEnd != null)        {            console.highlightStart = e.rangeStart - 1;            console.highlightEnd = e.rangeEnd - 1;        }    }        if ("lineNumber" in e && e.lineNumber != null)        line = e.lineNumber;    console.sourceView.displaySourceText(sourceText);    console.sourceView.tree.invalidate();    if ("command" in e && e.command.name == "find-url-soft")        console.sourceView.softScrollTo (line);    else        console.sourceView.scrollTo (line - 2, -1);    return e.url;}
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