[Feature Request] Search should search all files

[pfuhlert]

Disclaimer

Please make sure all the items below is checked (i.e., prefixed with "- [x]")

• The request feature has not been addressed in the feature request list.
• The design of the feature does not require detailed discussion, or existing discussion with drawn conclusion can be found in Discussions Area at: [paste the link here]

Motivation

Hi and thank you for this awesome project! I'm using it rn for my PhD thesis 👍 When going to the vscode search (ctrl+shift+f), only opened files are searched. It would be massively helpful if all files in the current project are searched.

[iamhyc]

Thanks for your feedback! I need some time to figure out the root cause.

As a workaround, you can try to "Open Project Locally" which is not suffered from the inconvenience of virtual filesystem.

[pfuhlert]

Thank you! The workaround works and I think I did the same thing before by just checking out my overleaf repository via git clone locally in another window (and thus cannot compile using overleaf.com). Or does this do something else? Thanks anyway in advance!

[iamhyc]

Thank you! The workaround works and I think I did the same thing before by just checking out my overleaf repository via git clone locally in another window (and thus cannot compile using overleaf.com). Or does this do something else? Thanks anyway in advance!

You mean the local folder opened and your git folder are the same one? If your git repo is linked with Overleaf, then there should be no problem. Otherwise you may need git diff to check the difference.

Every time you open that folder with .overleaf folder presence in vscode, the extension will force overwrite the folder with the content stored on Overleaf.
Besides, the compile and pdf preview service are disabled in the local folder, and you may need to refer to LaTeX Workshop.

[iamhyc]

I find the search in the virtual filesystem will stuck at the very first start: it simply cannot see any file.

It appears to be a vscode bug. I will report it on the vscode repo later.

---

Update: We need to implement a TextSearchProvider to enable search file content. However, the related api proposal is still under discussion in microsoft/vscode#59921 , which can only be used in "vscode-insiders" release with proper launch argument set by users.

We will wait for it merged in mainline to take next move.