rem: console.initialized = true; 
add:  setTimeout(initPost, 100); 
context: function init(){    dd ("init {");        var i;    const WW_CTRID = "@mozilla.org/embedcomp/window-watcher;1";    const nsIWindowWatcher = Components.interfaces.nsIWindowWatcher;    console.windowWatcher =        Components.classes[WW_CTRID].getService(nsIWindowWatcher);    const UC_CTRID = "@mozilla.org/intl/scriptableunicodeconverter";    const nsIUnicodeConverter =         Components.interfaces.nsIScriptableUnicodeConverter;    console.ucConverter =        Components.classes[UC_CTRID].getService(nsIUnicodeConverter);    console.baseWindow = getBaseWindowFromWindow(window);    console.mainWindow = window;    console.dnd = nsDragAndDrop;    console.currentEvalObject = console;        console.files = new Object();    console.pluginState = new Object();    console._statusStack = new Array();    console._lastStackDepth = -1;    initMsgs();    initPrefs();    initCommands();    initJSDURL();        /* Some commonly used commands, cached now, for use with dispatchCommand. */    var cm = console.commandManager;    console.coManagerCreated    = cm.commands["hook-script-manager-created"];    console.coManagerDestroyed  = cm.commands["hook-script-manager-destroyed"];    console.coInstanceCreated   = cm.commands["hook-script-instance-created"];    console.coInstanceSealed    = cm.commands["hook-script-instance-sealed"];    console.coInstanceDestroyed = cm.commands["hook-script-instance-destroyed"];    console.coDisplayHook       = cm.commands["hook-session-display"];    console.coFindScript        = cm.commands["find-script"];    console.commandManager.addHooks (console.hooks);    initMenus();    console.capturedMsgs = new Array();    var ary = console.prefs["initialScripts"].split(/\s*;\s*/);    for (i = 0; i < ary.length; ++i)    {        var url = stringTrim(ary[i]);        if (url)            dispatch ("loadd", { url: ary[i] });    }    dispatch ("hook-venkman-started");    initViews();    initRecords();    initHandlers(); // handlers may notice windows, which need views and records    createMainMenu(document);    createMainToolbar(document);    console.ui = {        "status-text": document.getElementById ("status-text"),        "profile-button": document.getElementById ("maintoolbar:profile-tb"),        "stop-button": document.getElementById ("maintoolbar:stop")    };        disableDebugCommands();    initDebugger();    initProfiler();    // read prefs that have not been explicitly created, such as the layout prefs    console.prefManager.readPrefs();        fetchLaunchCount();        console.sourceText = new HelpText();    console.pushStatus(MSG_STATUS_DEFAULT);    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 (getMsg(MSN_TIP1_HELP,                     console.prefs["sessionView.requireSlash"] ? "/" : ""));    display (MSG_TIP2_HELP);    if (console.prefs["sessionView.requireSlash"])        display (MSG_TIP3_HELP);    if (console.prefs["rememberPrettyprint"])        dispatch ("pprint", { toggle: console.prefs["prettyprint"] });    else        dispatch ("pprint", { toggle: false });    if (MSG_LOCALE_VERSION != __vnk_requiredLocale)    {        display (getMsg(MSN_BAD_LOCALE,                        [__vnk_requiredLocale, MSG_LOCALE_VERSION]),                 MT_WARN);    }    console.initialized = true;    if (console.prefs["saveSettingsOnExit"])    {        dispatch ("restore-settings",                  {settingsFile: console.prefs["settingsFile"]});    }    dispatch ("hook-venkman-started");    dd ("}");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/df4734a34c261e7b009ef60bc9a24ed525852937/venkman-static.js/clean/extensions/venkman/resources/content/venkman-static.js