add: if (gBatching) { gBatching = false;  dump("XXX end tree batch (delete or move succeeded)\n"); }  ThreadPaneSelectionChange(true); 
context: function HandleDeleteOrMoveMsgCompleted(folder){	if(IsCurrentLoadedFolder(folder))	{		msgNavigationService.EnsureDocumentIsLoaded(document);		if(gNextMessageAfterDelete)		{			var nextMessage = document.getElementById(gNextMessageAfterDelete);			gNextMessageAfterDelete = null;			SelectNextMessage(nextMessage);			var threadTree = GetThreadTree();			if(threadTree)				threadTree.ensureElementIsVisible(nextMessage);		}		//if there's nothing to select then see if the tree has any messages.		//if not, then clear the message pane.		else		{			var tree = GetThreadTree();			var topmost = msgNavigationService.FindFirstMessage(tree);			if(!topmost)				ClearMessagePane()		}	}}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/22ec8dd0464e9b0ddc7aabb12f0a44e5f7cf6a7a/msgMail3PaneWindow.js/clean/mailnews/base/resources/content/msgMail3PaneWindow.js