Repository navigation
Cannot search the code from VSCode Search tab (Crtl+Shift+F) #4172
Description
Describe the bug
I cannot search the code from the VSCode Search tab (Crtl+Shift+F), when the CodeQL database is mounted in the current workspace through "Add Database Source to Workspace".
Version
CodeQL:
CodeQL extension version: 1.17.5
CodeQL CLI version: 2.23.0
Platform: linux x64
VSCode:
Version: 1.105.0
Commit: 03c265b1adee71ac88f833e065f7bb956b60550a
Date: 2025-10-09T19:24:35.992Z
Electron: 37.5.1
ElectronBuildId: undefined
Chromium: 138.0.7204.251
Node.js: 22.19.0
V8: 13.8.258.32-electron.0
OS: Linux x64 6.17.1-arch1-1
To reproduce
- Open the CodeQL tab and select database
- Right click on the selected database and click on "Add Database Source to Workspace"
- Bonus bug: Re-select the database because VSCode switched the context to a workspace
- Observe in the "Explorer" tab that the database source is well mounted has "[db source archive]" in your newly created workspace
- Right click on this mounted folder and click on "Find in Folder..." (or press
Crtl+Shift+F) - Try to search any piece or code that is supposed to be in the database source
Expected behavior
After trying to search some code in the source, we are supposed to get the same results as if the source were mounted has normal folder, rather then a CodeQL database archive.
Activity
shati-patel commentedon Oct 23, 2025
Hi, thank you for the issue and the detailed steps!
Unfortunately, this is the expected behaviour: the
[db source archive]is added as a "virtual" file system, just so that we can link to CodeQL alerts in the source. It doesn't have the same features as a "real" file system (e.g. no editing or searching).We acknowledge that this isn't ideal, but changing the behaviour is not something we're currently able to prioritise. I'm closing this issue now, but don't hesitate to reach out if you have any other issues in future!