223
export function reviveIdentifier(identifier: ISerializedWorkspaceIdentifier | ISerializedSingleFolderWorkspaceIdentifier | IEmptyWorkspaceIdentifier | undefined): IAnyWorkspaceIdentifier | undefined;
224
export function reviveIdentifier(identifier: ISerializedWorkspaceIdentifier | ISerializedSingleFolderWorkspaceIdentifier | IEmptyWorkspaceIdentifier | undefined): IAnyWorkspaceIdentifier | undefined {
226
>
// Single Folder
227
>
const singleFolderIdentifierCandidate = identifier as ISerializedSingleFolderWorkspaceIdentifier | undefined;
228
>
if (singleFolderIdentifierCandidate?.uri) {
229
>
return { id: singleFolderIdentifierCandidate.id, uri: URI.revive(singleFolderIdentifierCandidate.uri) };
230
>
}
231
>
232
>
// Multi folder
233
>
const workspaceIdentifierCandidate = identifier as ISerializedWorkspaceIdentifier | undefined;
234
>
if (workspaceIdentifierCandidate?.configPath) {
235
>
return { id: workspaceIdentifierCandidate.id, configPath: URI.revive(workspaceIdentifierCandidate.configPath) };
236
>
}
237
>
238
>
// Empty
239
>
if (identifier?.id) {
240
>
return { id: identifier.id };
241
>
}
242
>
243
>
return undefined;
244
>
}
245
246
export const enum WorkbenchState {