rem:  if (typeof idx == "number") idx = "#" + idx;  display(idx + ": " + formatFrame (f)); if (!f.isNative && f.script.fileName && showSource) displaySource (f.script.fileName, f.line, 2); 
add:  if (typeof showHeader == "undefined") showHeader = true;  if (typeof sourceContext == "undefined") sourceContext = null;  display(getMsg(MSN_FMT_FRAME_LINE, [idx, formatFrame(jsdFrame)]));  if (!jsdFrame.isNative && sourceContext != null) { var jsdScript = jsdFrame.script; var scriptWrapper = getScriptWrapper(jsdScript);  if (!ASSERT(scriptWrapper, "Couldn't get a script wrapper")) return; if (console.prefs["prettyprint"] && jsdScript.isValid) { displaySourceContext (scriptWrapper.sourceText, jsdScript.pcToLine(jsdFrame.pc, PCMAP_PRETTYPRINT), sourceContext); } else { displaySourceContext (scriptWrapper.scriptInstance.sourceText, jsdFrame.line, sourceContext); } } 
context: function displayFrame (f, idx, showSource){    if (!f)        throw new BadMojo (ERR_REQUIRED_PARAM, "f");    if (typeof idx == "undefined")    {        for (idx = 0; idx < console.frames.length; ++idx)            if (f == console.frames[idx])                break;            if (idx >= console.frames.length)            idx = MSG_VAL_UNKNOWN;    }        if (typeof idx == "number")        idx = "#" + idx;        display(idx + ": " + formatFrame (f));    if (!f.isNative && f.script.fileName && showSource)            displaySource (f.script.fileName, f.line, 2);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js