add: console.addPref ("dbgContexts", false); console.addPref ("dbgDispatch", false); console.addPref ("dbgRealize", false); dispatch ("sync-debug");  
context: function initDev(){    var cmdary =        [["dumpcontexts",  cmdDumpContexts,  CMD_CONSOLE | CMD_NO_HELP],         ["dumpfilters",   cmdDumpFilters,   CMD_CONSOLE | CMD_NO_HELP],         ["reloadui",      cmdReloadUI,      CMD_CONSOLE | CMD_NO_HELP],         ["testargs",      cmdTestArgs,      CMD_CONSOLE | CMD_NO_HELP],         ["testargs1",     cmdTestArgs,      CMD_CONSOLE | CMD_NO_HELP],         ["testfilters",   cmdTestFilters,   CMD_CONSOLE | CMD_NO_HELP],         ["treetest",      cmdTreeTest,      CMD_CONSOLE | CMD_NO_HELP],         ["multialias",    "help pref; help props", CMD_CONSOLE | CMD_NO_HELP]];        defineVenkmanCommands (cmdary);    return "Venkman development functions loaded OK.";}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a71b5f5e4a42de49df6e5b5548b9ae1c38b5206d/venkman-dev.js/clean/extensions/venkman/resources/content/venkman-dev.js