Source not found in Theia IDE

[tsmaeder]

Bug Description:

When I open the developer tools in Theia IDE and try to open a source file to put a breakpoint, known source files are not found.

Steps to Reproduce:

1. Toggle the developer tools on
2. Go to the "source" tab in the dev tools
3. Try to open the file (ctrl-p) "preference-configuration.ts"
4. Observe: the file is not found

I would expect the file to be opened.

Additional Information

• Operating System: Windows
• Theia Version: 1.48.3

[tsmaeder]

This makes it nigh impossible to debug issues that are present in TheiaIDE, but not Theia built from source.