[original thread by Adam Retter]
Hello, I think for now you’ve to use your own getting started extension or extends the current one.
Maybe if it’s for branding purpose you may track https://github.com/theia-ide/theia/pull/3980
Hello, I think for now you’ve to use your own getting started extension or extends the current one.
Maybe if it’s for branding purpose you may track https://github.com/theia-ide/theia/pull/3980