rem: initHandlers(); 
add: dispatch ("restore-layout default");  var startupMsgs = console.capturedMsgs; delete console.capturedMsgs;  dispatch ("version");  for (i = 0; i < startupMsgs.length; ++i) display (startupMsgs[i][0], startupMsgs[i][1]);  display (MSG_TIP1_HELP); display (MSG_TIP2_HELP);    dispatch ("pprint", { toggle: console.prefs["prettyprint"] });  if (MSG_LOCALE_VERSION != __vnk_requiredLocale) { display (getMsg(MSN_BAD_LOCALE, [__vnk_requiredLocale, MSG_LOCALE_VERSION]), MT_WARN); }  console.initialized = true; dispatch ("hook-venkman-started");  dd ("}"); 
context: function init(){        var ary = navigator.userAgent.match (/;\s*([^;\s]+\s*)\).*\/(\d+)/);    if (ary)    {        console.userAgent = "Venkman " + console.version + " [Mozilla " +             ary[1] + "/" + ary[2] + "]";    }    else    {        console.userAgent = "Venkman " + console.version + " [" +             navigator.userAgent + "]";    }    const WW_CTRID = "@mozilla.org/embedcomp/window-watcher;1";    const nsIWindowWatcher = Components.interfaces.nsIWindowWatcher;    console.windowWatcher =        Components.classes[WW_CTRID].getService(nsIWindowWatcher);    console.debuggerWindow = getBaseWindowFromWindow(window);    initPrefs();    initCommands();    initMenus();    initTrees();        disableDebugCommands();        console.files = new Object();    console._outputDocument =         document.getElementById("output-iframe").contentDocument;    console._outputElement =         console._outputDocument.getElementById("output-tbody");        console._slInputElement =         document.getElementById("input-single-line");    console._slInputElement.focus();     console._munger = new CMunger();    console._munger.enabled = true;    console._munger.addRule        ("link", /((\w+):\/\/[^<>()\'\"\s:]+|www(\.[^.<>()\'\"\s:]+){2,})/,         insertLink);    console._munger.addRule ("word-hyphenator",                             new RegExp ("(\\S{" + MAX_WORD_LEN + ",})"),                             insertHyphenatedWord);    console._lastStackDepth = -1;    initDebugger(); /* debugger may need display() to init */    console.ui = new Object();    console.ui["status-text"] = document.getElementById ("status-text");    console.ui["sl-input"] = document.getElementById ("input-single-line");    console._statusStack = new Array();    console.pluginState = new Object();    dispatch("version");    var ary = console.prefs["initialScripts"].split();    for (var i = 0; i < ary.length; ++i)    {        var url = stringTrim(ary[i]);        if (url)            dispatch ("loadd", {url: ary[i]});    }        console.sourceText = new HelpText();    dispatch("commands");    dispatch("help");    initHandlers();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js