Avoid opening the results panel on db deletion#831

aeisenberg merged 1 commit intomaingithub/vscode-codeql:mainfrom

aeisenberg/keep-panel-closedgithub/vscode-codeql:aeisenberg/keep-panel-closedCopy head branch name to clipboard