rem: if(IsCurrentLoadedFolder(folder)) { if(gNextMessageAfterDelete) { gNextMessageAfterDelete = null; } } 
add: if (gBatching) { gBatching = false; var threadTree = GetThreadTree();  dump("XXX end tree batch (delete or move failed)\n"); } 
context: function HandleDeleteOrMoveMsgFailed(folder){        if(IsCurrentLoadedFolder(folder))        {                if(gNextMessageAfterDelete)                {                        gNextMessageAfterDelete = null;		}        }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/22ec8dd0464e9b0ddc7aabb12f0a44e5f7cf6a7a/msgMail3PaneWindow.js/clean/mailnews/base/resources/content/msgMail3PaneWindow.js