emptyToRestore.push(...windowsToOpen.filter(w=>!w.workspaceConfigPath&&!w.folderPath&&w.backupPath).map(w=>path.basename(w.backupPath)));// add empty windows with backupPath
emptyToRestore.push(...windowsToOpen.filter(w=>!w.workspace&&!w.folderPath&&w.backupPath).map(w=>path.basename(w.backupPath)));// add empty windows with backupPath
test('should always store the workspace path in workspaces.json using the case given, regardless of whether the file system is case-sensitive (root workspace)',done=>{