rem: if (gBatching) { gBatching = false;   } 
context: function HandleDeleteOrMoveMsgFailed(folder){  if(IsCurrentLoadedFolder(folder)) {    if(gNextMessageAfterDelete) {      gNextMessageAfterDelete = null;      gNextMessageViewIndexAfterDelete = -1;    }  }  if (gBatching) {    gBatching = false;    //threadTree.treeBoxObject.endBatch();    //dump("XXX end tree batch (delete or move failed)\n");  }  // fix me???//  ThreadPaneSelectionChange(true);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/140940d7ead52b6b9743db1e84a8f8892299eac5/msgMail3PaneWindow.js/clean/mailnews/base/resources/content/msgMail3PaneWindow.js