It seems to be happening when VisualGDB starts the “Loading project structure…” process. This triggers whenever the CMakeLists.txt file gets saved. It loads everything except the header files.
No problem, indeed the header file list from the Pico SDK directories was overriding the header list from the target directory. We have fixed it in the following build: VisualGDB-5.6.1.4074.msi