function InitDialogWithVirtualFolder(aVirtualFolderURI){  // when editing an existing folder, hide the folder picker that stores the parent location of the folder  document.getElementById("chooseFolderLocationRow").collapsed = true;  var folderNameField = document.getElementById("name");  folderNameField.disabled = true;  var msgFolder = GetMsgFolderFromUri(aVirtualFolderURI);  var msgDatabase = msgFolder.getMsgDatabase(msgWindow);  var dbFolderInfo = msgDatabase.dBFolderInfo;    gSearchFolderURIs = dbFolderInfo.getCharPtrProperty("searchFolderUri");  var searchTermString = dbFolderInfo.getCharPtrProperty("searchStr");  document.getElementById('searchOnline').checked = dbFolderInfo.getBooleanProperty("searchOnline", false);    // work around to get our search term string converted into a real array of search terms  var filterService = Components.classes["@mozilla.org/messenger/services/filters;1"].getService(Components.interfaces.nsIMsgFilterService);  var filterList = filterService.getTempFilterList(msgFolder);  gSearchTermSession = filterList.createFilter("temp");  filterList.parseCondition(gSearchTermSession, searchTermString);  setupSearchRows(gSearchTermSession.searchTerms);  // set the name of the folder  folderNameField.value = msgFolder.prettyName;  // update the window title based on the name of the saved search  var messengerBundle = document.getElementById("bundle_messenger");  document.title = messengerBundle.getFormattedString('editVirtualFolderPropertiesTitle', [msgFolder.prettyName]);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/0c3e75f9269436ce8074f0e484e530cfc7260c6f/virtualFolderProperties.js/buggy/mailnews/base/resources/content/virtualFolderProperties.js