Move DatabaseQuickPickItem to top level

2023-03-14 17:49:07 +00:00
parent e2e197f4d9
commit c3f4a012a9
1 changed files with 4 additions and 3 deletions
--- a/extensions/ql-vscode/src/extension.ts
+++ b/extensions/ql-vscode/src/extension.ts
@@ -217,6 +217,10 @@ interface DistributionUpdateConfig {
  allowAutoUpdating: boolean;
 }

+interface DatabaseQuickPickItem extends QuickPickItem {
+  databaseItem: DatabaseItem;
+}
+
 const shouldUpdateOnNextActivationKey = "shouldUpdateOnNextActivation";

 const codeQlVersionRange = DEFAULT_DISTRIBUTION_VERSION_RANGE;
@@ -950,9 +954,6 @@ async function activateWithInstalledDistribution(
      queryServerLogger,
    ),
  );
-  interface DatabaseQuickPickItem extends QuickPickItem {
-    databaseItem: DatabaseItem;
-  }
  ctx.subscriptions.push(
    commandRunnerWithProgress(
      "codeQL.runQueryOnMultipleDatabases",