It's a surprise that there is "Open in Antigravity" but not "Open in VSCode" while I have both on my machine.
After uninstalling Antigravity, the entry for it is removed from "Open in".
After re-installing VSCode, no entry for it is added to "Open in".
On File Explorer context menu, there is "Open with Code" so I think the installation is correct.
It's a surprise that there is "Open in Antigravity" but not "Open in VSCode" while I have both on my machine.
After uninstalling Antigravity, the entry for it is removed from "Open in".
After re-installing VSCode, no entry for it is added to "Open in".
On File Explorer context menu, there is "Open with Code" so I think the installation is correct.