mirror of
https://github.com/Microsoft/vscode
synced 2024-09-13 13:46:13 +00:00
parent
ed4de0582a
commit
a7af3c0e6d
|
@ -132,7 +132,7 @@ class ExtHostWorkspaceImpl extends Workspace {
|
||||||
|
|
||||||
constructor(id: string, private _name: string, folders: vscode.WorkspaceFolder[], transient: boolean, configuration: URI | null, private _isUntitled: boolean, ignorePathCasing: (key: URI) => boolean) {
|
constructor(id: string, private _name: string, folders: vscode.WorkspaceFolder[], transient: boolean, configuration: URI | null, private _isUntitled: boolean, ignorePathCasing: (key: URI) => boolean) {
|
||||||
super(id, folders.map(f => new WorkspaceFolder(f)), transient, configuration, ignorePathCasing);
|
super(id, folders.map(f => new WorkspaceFolder(f)), transient, configuration, ignorePathCasing);
|
||||||
this._structure = TernarySearchTree.forUris<vscode.WorkspaceFolder>(ignorePathCasing);
|
this._structure = TernarySearchTree.forUris<vscode.WorkspaceFolder>(ignorePathCasing, () => true);
|
||||||
|
|
||||||
// setup the workspace folder data structure
|
// setup the workspace folder data structure
|
||||||
folders.forEach(folder => {
|
folders.forEach(folder => {
|
||||||
|
|
Loading…
Reference in a new issue