diff --git a/extensions/ql-vscode/src/common/interface-types.ts b/extensions/ql-vscode/src/common/interface-types.ts index ff94a1444..5f72f662d 100644 --- a/extensions/ql-vscode/src/common/interface-types.ts +++ b/extensions/ql-vscode/src/common/interface-types.ts @@ -732,11 +732,6 @@ interface SetModelAlertsViewStateMessage { viewState: ModelAlertsViewState; } -interface SetReposResultsMessage { - t: "setReposResults"; - reposResults: VariantAnalysisScannedRepositoryResult[]; -} - interface OpenModelPackMessage { t: "openModelPack"; path: string; @@ -754,8 +749,7 @@ interface StopEvaluationRunMessage { export type ToModelAlertsMessage = | SetModelAlertsViewStateMessage | SetVariantAnalysisMessage - | SetRepoResultsMessage - | SetReposResultsMessage; + | SetRepoResultsMessage; export type FromModelAlertsMessage = | CommonFromViewMessages diff --git a/extensions/ql-vscode/src/model-editor/model-alerts/model-alerts-view.ts b/extensions/ql-vscode/src/model-editor/model-alerts/model-alerts-view.ts index 7d30fa374..6959f5e9e 100644 --- a/extensions/ql-vscode/src/model-editor/model-alerts/model-alerts-view.ts +++ b/extensions/ql-vscode/src/model-editor/model-alerts/model-alerts-view.ts @@ -143,15 +143,15 @@ export class ModelAlertsView extends AbstractWebview< } public async updateReposResults( - reposResults: VariantAnalysisScannedRepositoryResult[], + repoResults: VariantAnalysisScannedRepositoryResult[], ): Promise { if (!this.isShowingPanel) { return; } await this.postMessage({ - t: "setReposResults", - reposResults, + t: "setRepoResults", + repoResults, }); } diff --git a/extensions/ql-vscode/src/view/model-alerts/ModelAlerts.tsx b/extensions/ql-vscode/src/view/model-alerts/ModelAlerts.tsx index 57b6fcb51..c51649b79 100644 --- a/extensions/ql-vscode/src/view/model-alerts/ModelAlerts.tsx +++ b/extensions/ql-vscode/src/view/model-alerts/ModelAlerts.tsx @@ -66,10 +66,6 @@ export function ModelAlerts({ setVariantAnalysis(msg.variantAnalysis); break; } - case "setReposResults": { - setRepoResults(msg.reposResults); - break; - } case "setRepoResults": { setRepoResults((oldRepoResults) => { const newRepoIds = msg.repoResults.map((r) => r.repositoryId);