rem: FolderPaneSelectionChange(); 
add: if (gMsgFolderSelected && aVirtualFolderURI == gMsgFolderSelected.URI) { gMsgFolderSelected = null; FolderPaneSelectionChange(); } 
context: function onEditVirtualFolderPropertiesCallback(aVirtualFolder){  // we need to reload the folder if it is the currently loaded folder...  FolderPaneSelectionChange();}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/e61cb650bfa046e888423911b7960989fa70f541/widgetglue.js/buggy/mailnews/base/resources/content/widgetglue.js