Delete untoggleProblemsView as it is unused#2665

robertbrignull merged 1 commit intomaingithub/vscode-codeql:mainfrom

robertbrignull/ResultTables-untoggleProblemsViewgithub/vscode-codeql:robertbrignull/ResultTables-untoggleProblemsViewCopy head branch name to clipboard