346
get folders(): WorkspaceFolder[] { return this._folders; }
347
set folders(folders: WorkspaceFolder[]) {
349
>
this.updateFoldersMap();
350
>
}
351
352
constructor(
354
>
folders: WorkspaceFolder[],
355
>
private _transient: boolean,
356
>
private _configuration: URI | null,
357
>
private ignorePathCasing: (key: URI) => boolean,
358
>
private _workspaceName?: string,
359
>
) {
360
>
this.foldersMap = TernarySearchTree.forUris<WorkspaceFolder>(this.ignorePathCasing, () => true);
361
>
this.folders = folders;
362
>
}
363
364
update(workspace: Workspace) {