From fed2a22062eee0778aade21f17455d8ef36fff83 Mon Sep 17 00:00:00 2001
From: Robert <robertbrignull@github.com>
Date: Thu, 3 Aug 2023 10:48:41 +0100
Subject: [PATCH] Delete untoggleProblemsView as it is unused

As far as I can tell it's been unused as far as back as
https://github.com/github/vscode-codeql/pull/602 when it was introduced.
It seems just to be an error in that PR.
---
 extensions/ql-vscode/src/view/results/result-tables.tsx | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/extensions/ql-vscode/src/view/results/result-tables.tsx b/extensions/ql-vscode/src/view/results/result-tables.tsx
index 07d346518fb..d7b1bcf571f 100644
--- a/extensions/ql-vscode/src/view/results/result-tables.tsx
+++ b/extensions/ql-vscode/src/view/results/result-tables.tsx
@@ -176,12 +176,6 @@ export class ResultTables extends React.Component<
     }
   }
 
-  untoggleProblemsView() {
-    this.setState({
-      problemsViewSelected: false,
-    });
-  }
-
   private onTableSelectionChange = (
     event: React.ChangeEvent<HTMLSelectElement>,
   ): void => {