plugin: align updateWorkspaceFolders API

The commit aligns the `updateWorkspaceFolders` API with the expectations from the VS Code API and should ultimately mark the API as supported in the compatibility report. Signed-off-by: vince-fugnitto <[email protected]>
eclipse-theia · Mar 23, 2022 · 7a44ee6 · 7a44ee6
1 parent a19ce98
commit 7a44ee6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/plugin/src/theia.d.ts b/packages/plugin/src/theia.d.ts
@@ -6214,7 +6214,7 @@ export module '@theia/plugin' {
          * @return true if the operation was successfully started and false otherwise if arguments were used that would result
          * in invalid workspace folder state (e.g. 2 folders with the same URI).
          */
-        export function updateWorkspaceFolders(start: number, deleteCount: number | undefined | null, ...workspaceFoldersToAdd: { uri: Uri, name?: string }[]): boolean;
+        export function updateWorkspaceFolders(start: number, deleteCount: number | undefined | null, ...workspaceFoldersToAdd: { readonly uri: Uri, readonly name?: string }[]): boolean;
 
         /**
          * ~~Register a task provider.~~