@theia/workspace 1.45.1 → 1.46.0-next.72

package/src/browser/workspace-window-title-updater.ts

@@ -1,45 +1,45 @@
-// *****************************************************************************
-// Copyright (C) 2022 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-import { WindowTitleUpdater } from '@theia/core/lib/browser/window/window-title-updater';
-import { inject, injectable } from '@theia/core/shared/inversify';
-import { Widget } from '@theia/core/lib/browser/widgets/widget';
-import { WorkspaceService } from './workspace-service';
-import { Navigatable } from '@theia/core/lib/browser/navigatable';
-
-@injectable()
-export class WorkspaceWindowTitleUpdater extends WindowTitleUpdater {
-
-    @inject(WorkspaceService) protected readonly workspaceService: WorkspaceService;
-
-    protected override updateTitleWidget(widget?: Widget): void {
-        super.updateTitleWidget(widget);
-        let folderName: string | undefined;
-        let folderPath: string | undefined;
-        if (Navigatable.is(widget)) {
-            const folder = this.workspaceService.getWorkspaceRootUri(widget.getResourceUri());
-            if (folder) {
-                folderName = this.labelProvider.getName(folder);
-                folderPath = folder.path.toString();
-            }
-        }
-        this.windowTitleService.update({
-            folderName,
-            folderPath
-        });
-    }
-
-}
+// *****************************************************************************
+// Copyright (C) 2022 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+import { WindowTitleUpdater } from '@theia/core/lib/browser/window/window-title-updater';
+import { inject, injectable } from '@theia/core/shared/inversify';
+import { Widget } from '@theia/core/lib/browser/widgets/widget';
+import { WorkspaceService } from './workspace-service';
+import { Navigatable } from '@theia/core/lib/browser/navigatable';
+
+@injectable()
+export class WorkspaceWindowTitleUpdater extends WindowTitleUpdater {
+
+    @inject(WorkspaceService) protected readonly workspaceService: WorkspaceService;
+
+    protected override updateTitleWidget(widget?: Widget): void {
+        super.updateTitleWidget(widget);
+        let folderName: string | undefined;
+        let folderPath: string | undefined;
+        if (Navigatable.is(widget)) {
+            const folder = this.workspaceService.getWorkspaceRootUri(widget.getResourceUri());
+            if (folder) {
+                folderName = this.labelProvider.getName(folder);
+                folderPath = folder.path.toString();
+            }
+        }
+        this.windowTitleService.update({
+            folderName,
+            folderPath
+        });
+    }
+
+}

package/src/browser-only/browser-only-workspace-server.ts

@@ -0,0 +1,69 @@
+// *****************************************************************************
+// Copyright (C) 2023 EclipseSource and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+import { inject, injectable } from '@theia/core/shared/inversify';
+import { WorkspaceServer } from '../common/workspace-protocol';
+import { ILogger, isStringArray } from '@theia/core';
+import { FileService } from '@theia/filesystem/lib/browser/file-service';
+
+export const RECENT_WORKSPACES_LOCAL_STORAGE_KEY = 'workspaces';
+
+@injectable()
+export class BrowserOnlyWorkspaceServer implements WorkspaceServer {
+
+    @inject(ILogger)
+    protected logger: ILogger;
+
+    @inject(FileService)
+    protected readonly fileService: FileService;
+
+    async getRecentWorkspaces(): Promise<string[]> {
+        const storedWorkspaces = localStorage.getItem(RECENT_WORKSPACES_LOCAL_STORAGE_KEY);
+        if (!storedWorkspaces) {
+            return [];
+        }
+        try {
+            const parsedWorkspaces = JSON.parse(storedWorkspaces);
+            if (isStringArray(parsedWorkspaces)) {
+                return parsedWorkspaces;
+            }
+        } catch (e) {
+            this.logger.error(e);
+            return [];
+        }
+        return [];
+    }
+
+    async getMostRecentlyUsedWorkspace(): Promise<string | undefined> {
+        const workspaces = await this.getRecentWorkspaces();
+        return workspaces[0];
+    }
+
+    async setMostRecentlyUsedWorkspace(uri: string): Promise<void> {
+        const workspaces = await this.getRecentWorkspaces();
+        if (workspaces.includes(uri)) {
+            workspaces.splice(workspaces.indexOf(uri), 1);
+        }
+        localStorage.setItem(RECENT_WORKSPACES_LOCAL_STORAGE_KEY, JSON.stringify([uri, ...workspaces]));
+    }
+
+    async removeRecentWorkspace(uri: string): Promise<void> {
+        const workspaces = await this.getRecentWorkspaces();
+        if (workspaces.includes(uri)) {
+            workspaces.splice(workspaces.indexOf(uri), 1);
+        }
+        localStorage.setItem(RECENT_WORKSPACES_LOCAL_STORAGE_KEY, JSON.stringify(workspaces));
+    }
+}

package/src/browser-only/workspace-frontend-only-module.ts

@@ -0,0 +1,28 @@
+// *****************************************************************************
+// Copyright (C) 2023 EclipseSource and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+import { ContainerModule, interfaces } from '@theia/core/shared/inversify';
+import { BrowserOnlyWorkspaceServer } from './browser-only-workspace-server';
+import { WorkspaceServer } from '../common';
+
+export default new ContainerModule((bind: interfaces.Bind, unbind: interfaces.Unbind, isBound: interfaces.IsBound, rebind: interfaces.Rebind) => {
+    bind(BrowserOnlyWorkspaceServer).toSelf().inSingletonScope();
+    if (isBound(WorkspaceServer)) {
+        rebind(WorkspaceServer).toService(BrowserOnlyWorkspaceServer);
+    } else {
+        bind(WorkspaceServer).toService(BrowserOnlyWorkspaceServer);
+    }
+});

package/src/common/index.ts

@@ -1,19 +1,19 @@
-// *****************************************************************************
-// Copyright (C) 2017 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-export * from './workspace-protocol';
-export * from './workspace-file-service';
-export * from './untitled-workspace-service';
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+export * from './workspace-protocol';
+export * from './workspace-file-service';
+export * from './untitled-workspace-service';

package/src/common/test/mock-workspace-server.ts

@@ -1,29 +1,29 @@
-// *****************************************************************************
-// Copyright (C) 2017 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-import { injectable } from '@theia/core/shared/inversify';
-import { WorkspaceServer } from '../workspace-protocol';
-
-@injectable()
-export class MockWorkspaceServer implements WorkspaceServer {
-
-    getRecentWorkspaces(): Promise<string[]> { return Promise.resolve([]); }
-
-    getMostRecentlyUsedWorkspace(): Promise<string | undefined> { return Promise.resolve(''); }
-
-    setMostRecentlyUsedWorkspace(uri: string): Promise<void> { return Promise.resolve(); }
-
-    removeRecentWorkspace(uri: string): Promise<void> { return Promise.resolve(); }
-}
+// *****************************************************************************
+// Copyright (C) 2017 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+import { injectable } from '@theia/core/shared/inversify';
+import { WorkspaceServer } from '../workspace-protocol';
+
+@injectable()
+export class MockWorkspaceServer implements WorkspaceServer {
+
+    getRecentWorkspaces(): Promise<string[]> { return Promise.resolve([]); }
+
+    getMostRecentlyUsedWorkspace(): Promise<string | undefined> { return Promise.resolve(''); }
+
+    setMostRecentlyUsedWorkspace(uri: string): Promise<void> { return Promise.resolve(); }
+
+    removeRecentWorkspace(uri: string): Promise<void> { return Promise.resolve(); }
+}

package/src/common/untitled-workspace-service.ts

@@ -1,50 +1,50 @@
-// *****************************************************************************
-// Copyright (C) 2018 Ericsson and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-import URI from '@theia/core/lib/common/uri';
-import { inject, injectable } from '@theia/core/shared/inversify';
-import { MaybePromise } from '@theia/core';
-import { WorkspaceFileService } from './workspace-file-service';
-
-@injectable()
-export class UntitledWorkspaceService {
-
-    @inject(WorkspaceFileService)
-    protected readonly workspaceFileService: WorkspaceFileService;
-
-    isUntitledWorkspace(candidate?: URI): boolean {
-        return !!candidate && this.workspaceFileService.isWorkspaceFile(candidate) && candidate.path.base.startsWith('Untitled');
-    }
-
-    async getUntitledWorkspaceUri(configDirUri: URI, isAcceptable: (candidate: URI) => MaybePromise<boolean>, warnOnHits?: () => unknown): Promise<URI> {
-        const parentDir = configDirUri.resolve('workspaces');
-        const workspaceExtensions = this.workspaceFileService.getWorkspaceFileExtensions();
-        const defaultFileExtension = workspaceExtensions[this.workspaceFileService.defaultFileTypeIndex];
-        let uri;
-        let attempts = 0;
-        do {
-            attempts++;
-            uri = parentDir.resolve(`Untitled-${Math.round(Math.random() * 1000)}.${defaultFileExtension}`);
-            if (attempts === 10) {
-                warnOnHits?.();
-            }
-            if (attempts === 50) {
-                throw new Error('Workspace Service: too many attempts to find unused filename.');
-            }
-        } while (!(await isAcceptable(uri)));
-        return uri;
-    }
-}
+// *****************************************************************************
+// Copyright (C) 2018 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+import URI from '@theia/core/lib/common/uri';
+import { inject, injectable } from '@theia/core/shared/inversify';
+import { MaybePromise } from '@theia/core';
+import { WorkspaceFileService } from './workspace-file-service';
+
+@injectable()
+export class UntitledWorkspaceService {
+
+    @inject(WorkspaceFileService)
+    protected readonly workspaceFileService: WorkspaceFileService;
+
+    isUntitledWorkspace(candidate?: URI): boolean {
+        return !!candidate && this.workspaceFileService.isWorkspaceFile(candidate) && candidate.path.base.startsWith('Untitled');
+    }
+
+    async getUntitledWorkspaceUri(configDirUri: URI, isAcceptable: (candidate: URI) => MaybePromise<boolean>, warnOnHits?: () => unknown): Promise<URI> {
+        const parentDir = configDirUri.resolve('workspaces');
+        const workspaceExtensions = this.workspaceFileService.getWorkspaceFileExtensions();
+        const defaultFileExtension = workspaceExtensions[this.workspaceFileService.defaultFileTypeIndex];
+        let uri;
+        let attempts = 0;
+        do {
+            attempts++;
+            uri = parentDir.resolve(`Untitled-${Math.round(Math.random() * 1000)}.${defaultFileExtension}`);
+            if (attempts === 10) {
+                warnOnHits?.();
+            }
+            if (attempts === 50) {
+                throw new Error('Workspace Service: too many attempts to find unused filename.');
+            }
+        } while (!(await isAcceptable(uri)));
+        return uri;
+    }
+}

package/src/common/workspace-file-service.ts

@@ -1,72 +1,72 @@
-// *****************************************************************************
-// Copyright (C) 2023 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-import { URI } from '@theia/core';
-import { injectable } from '@theia/core/shared/inversify';
-import { FileStat } from '@theia/filesystem/lib/common/files';
-
-export interface WorkspaceFileType {
-    extension: string
-    name: string
-}
-
-/**
- * @deprecated Since 1.39.0. Use `WorkspaceFileService#getWorkspaceFileTypes` instead.
- */
-export const THEIA_EXT = 'theia-workspace';
-/**
- * @deprecated Since 1.39.0. Use `WorkspaceFileService#getWorkspaceFileTypes` instead.
- */
-export const VSCODE_EXT = 'code-workspace';
-
-@injectable()
-export class WorkspaceFileService {
-
-    protected _defaultFileTypeIndex = 0;
-
-    get defaultFileTypeIndex(): number {
-        return this._defaultFileTypeIndex;
-    }
-
-    /**
-     * Check if the file should be considered as a workspace file.
-     *
-     * Example: We should not try to read the contents of an .exe file.
-     */
-    isWorkspaceFile(candidate: FileStat | URI): boolean {
-        const uri = FileStat.is(candidate) ? candidate.resource : candidate;
-        const extensions = this.getWorkspaceFileExtensions(true);
-        return extensions.includes(uri.path.ext);
-    }
-
-    getWorkspaceFileTypes(): WorkspaceFileType[] {
-        return [
-            {
-                name: 'Theia',
-                extension: THEIA_EXT
-            },
-            {
-                name: 'Visual Studio Code',
-                extension: VSCODE_EXT
-            }
-        ];
-    }
-
-    getWorkspaceFileExtensions(dot?: boolean): string[] {
-        return this.getWorkspaceFileTypes().map(type => dot ? `.${type.extension}` : type.extension);
-    }
-
-}
+// *****************************************************************************
+// Copyright (C) 2023 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+import { URI } from '@theia/core';
+import { injectable } from '@theia/core/shared/inversify';
+import { FileStat } from '@theia/filesystem/lib/common/files';
+
+export interface WorkspaceFileType {
+    extension: string
+    name: string
+}
+
+/**
+ * @deprecated Since 1.39.0. Use `WorkspaceFileService#getWorkspaceFileTypes` instead.
+ */
+export const THEIA_EXT = 'theia-workspace';
+/**
+ * @deprecated Since 1.39.0. Use `WorkspaceFileService#getWorkspaceFileTypes` instead.
+ */
+export const VSCODE_EXT = 'code-workspace';
+
+@injectable()
+export class WorkspaceFileService {
+
+    protected _defaultFileTypeIndex = 0;
+
+    get defaultFileTypeIndex(): number {
+        return this._defaultFileTypeIndex;
+    }
+
+    /**
+     * Check if the file should be considered as a workspace file.
+     *
+     * Example: We should not try to read the contents of an .exe file.
+     */
+    isWorkspaceFile(candidate: FileStat | URI): boolean {
+        const uri = FileStat.is(candidate) ? candidate.resource : candidate;
+        const extensions = this.getWorkspaceFileExtensions(true);
+        return extensions.includes(uri.path.ext);
+    }
+
+    getWorkspaceFileTypes(): WorkspaceFileType[] {
+        return [
+            {
+                name: 'Theia',
+                extension: THEIA_EXT
+            },
+            {
+                name: 'Visual Studio Code',
+                extension: VSCODE_EXT
+            }
+        ];
+    }
+
+    getWorkspaceFileExtensions(dot?: boolean): string[] {
+        return this.getWorkspaceFileTypes().map(type => dot ? `.${type.extension}` : type.extension);
+    }
+
+}

package/src/common/workspace-protocol.ts

@@ -1,47 +1,47 @@
-// *****************************************************************************
-// Copyright (C) 2017 TypeFox and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
-// *****************************************************************************
-
-export const workspacePath = '/services/workspace';
-
-/**
- * The JSON-RPC workspace interface.
- */
-export const WorkspaceServer = Symbol('WorkspaceServer');
-export interface WorkspaceServer {
-
-    /**
-     * Returns with a promise that resolves to the most recently used workspace folder URI as a string.
-     * Resolves to `undefined` if the workspace folder is not yet set.
-     */
-    getMostRecentlyUsedWorkspace(): Promise<string | undefined>;
-
-    /**
-     * Sets the desired string representation of the URI as the most recently used workspace folder.
-     */
-    setMostRecentlyUsedWorkspace(uri: string): Promise<void>;
-
-    /**
-     * Removes a workspace from the list of recently opened workspaces.
-     *
-     * @param uri the workspace uri.
-     */
-    removeRecentWorkspace(uri: string): Promise<void>;
-
-    /**
-     * Returns list of recently opened workspaces as an array.
-     */
-    getRecentWorkspaces(): Promise<string[]>
-}
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+
+export const workspacePath = '/services/workspace';
+
+/**
+ * The JSON-RPC workspace interface.
+ */
+export const WorkspaceServer = Symbol('WorkspaceServer');
+export interface WorkspaceServer {
+
+    /**
+     * Returns with a promise that resolves to the most recently used workspace folder URI as a string.
+     * Resolves to `undefined` if the workspace folder is not yet set.
+     */
+    getMostRecentlyUsedWorkspace(): Promise<string | undefined>;
+
+    /**
+     * Sets the desired string representation of the URI as the most recently used workspace folder.
+     */
+    setMostRecentlyUsedWorkspace(uri: string): Promise<void>;
+
+    /**
+     * Removes a workspace from the list of recently opened workspaces.
+     *
+     * @param uri the workspace uri.
+     */
+    removeRecentWorkspace(uri: string): Promise<void>;
+
+    /**
+     * Returns list of recently opened workspaces as an array.
+     */
+    getRecentWorkspaces(): Promise<string[]>
+}