Delete untoggleProblemsView as it is unused

robertbrignull · robertbrignull · commit fed2a22062ee · 2023-08-03T12:14:50.000+01:00
As far as I can tell it's been unused as far as back as #602 when it was introduced. It seems just to be an error in that PR.
diff --git 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 => {

Original file line number	Diff line number	Diff line change
`@@ -176,12 +176,6 @@ export class ResultTables extends React.Component<`
`176`	`176`	`}`
`177`	`177`	`}`
`178`	`178`
`179`		`- untoggleProblemsView() {`
`180`		`- this.setState({`
`181`		`- problemsViewSelected: false,`
`182`		`- });`
`183`		`- }`
`184`		`-`
`185`	`179`	`private onTableSelectionChange = (`
`186`	`180`	`event: React.ChangeEvent<HTMLSelectElement>,`
`187`	`181`	`): void => {`