add: window.opener.gRefresh = true; 
context: function onOK(){  var len = gDeletedDirectories.length;  for (var i=0; i< len; i++){    gPrefInt.DeleteBranch(gDeletedDirectories[i]);  }  window.close();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bd468c0ddeed02897c0ce6e1cfb0841967f30cab/pref-directory.js/buggy/mailnews/addrbook/prefs/resources/content/pref-directory.js