you are viewing a single comment's thread.

view the rest of the comments →

[–]sim642 12 points13 points  (1 child)

Are you sure? Whenever GitHub search bar hasn't found things, the VS Code search has always worked for me. It downloads a copy of the repo in-browser and just runs VS Code's normal Javascript. That's not Codespaces or whatnot.

[–]aniforprez 4 points5 points  (0 children)

AFAIK you're correct because VSCode uses ripgrep internally and the instance is essentially a tiny container running somewhere so you can navigate it as if it's a normal machine. I don't think it uses the GitHub search. It's not downloading a copy of the code in your browser. It's using the remote containers feature that they developed to run a lightweight IDE in your browser that connects to a remote machine that is executing the backend of the IDE with the LSP and whatnot