Merge pull request #2665 from github/robertbrignull/ResultTables-untoggleProblemsView

Delete untoggleProblemsView as it is unused
2023-08-03 13:55:56 +01:00
parent 9ed6b011a5 fed2a22062
commit 6b21f3f29d
1 changed files with 0 additions and 6 deletions
--- 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 => {