rem: dump("Updating sort..\n"); 
context: function HistoryInit() {    gHistoryTree =      document.getElementById("historyTree");    gDeleteByHostname = document.getElementById("cmd_deleteByHostname");    gDeleteByDomain =   document.getElementById("cmd_deleteByDomain");    gHistoryBundle =    document.getElementById("historyBundle");        var treeController = new nsTreeController(gHistoryTree);    var historyController = new nsHistoryController;    gHistoryTree.controllers.appendController(historyController);    gGlobalHistory = Components.classes["@mozilla.org/browser/global-history;1"].getService(Components.interfaces.nsIGlobalHistory);        var children = document.getElementById('treechildren-bookmarks');    if (children.firstChild)        gHistoryTree.selectItem(children.firstChild);    gHistoryTree.focus();    dump("Updating sort..\n");    // do a sort    RefreshSort();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/177ee807509519dd2909ce8bf15f614c5413d3cc/history.js/clean/xpfe/components/history/resources/history.js