Version
Extension version 1.4.5
Describe the bug
It looks like removing a database always reopens the "CodeQL Query Results" panel.
It does not seem to matter whether:
- There is more than one database, and the other ones are not removed
- The removed database was the "current" one
- The removed database was loaded from a folder or from a .zip file
- Another panel is already open
- The query history is empty
To Reproduce
- Load a database
- Close the "CodeQL Query Results" panel (in case it is open)
- Remove the database
❌ The "CodeQL Query Results" panel is opened
Expected behavior
The "CodeQL Query Results" panel is not opened.