From e9a2028c105caecc67dafebd2d6e8f9ec1fc44bf Mon Sep 17 00:00:00 2001 From: Robert Date: Tue, 5 Sep 2023 11:03:01 +0100 Subject: [PATCH] Delete askForWorkspaceFolder --- .../extensions-workspace-folder.ts | 24 +------------------ 1 file changed, 1 insertion(+), 23 deletions(-) diff --git a/extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts b/extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts index ef09aa161..729bf0b52 100644 --- a/extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts +++ b/extensions/ql-vscode/src/model-editor/extensions-workspace-folder.ts @@ -1,4 +1,4 @@ -import { FileType, Uri, window, workspace, WorkspaceFolder } from "vscode"; +import { FileType, Uri, workspace, WorkspaceFolder } from "vscode"; import { getOnDiskWorkspaceFoldersObjects } from "../common/vscode/workspace-folders"; import { extLogger } from "../common/logging/vscode"; import { tmpdir } from "../common/files"; @@ -200,25 +200,3 @@ export async function autoPickExtensionsDirectory(): Promise { return extensionsUri; } - -export async function askForWorkspaceFolder(): Promise< - WorkspaceFolder | undefined -> { - const workspaceFolders = getOnDiskWorkspaceFoldersObjects(); - const workspaceFolderOptions = workspaceFolders.map((folder) => ({ - label: folder.name, - detail: folder.uri.fsPath, - folder, - })); - - // We're not using window.showWorkspaceFolderPick because that also includes the database source folders while - // we only want to include on-disk workspace folders. - const workspaceFolder = await window.showQuickPick(workspaceFolderOptions, { - title: "Select workspace folder to create extension pack in", - }); - if (!workspaceFolder) { - return undefined; - } - - return workspaceFolder.folder; -}