Thomas Mäder

Maybe it's simplest to write our own "github" authentication provider?

A good example of what a Theia-based monorepo might look like is https://github.com/eclipse-theia/theia-blueprint

Remove the workaround from https://github.com/eclipse-theia/theia/pull/13673 once we have a fix here.

I think it's important here to distinguish between keyboard focus an the default button of a dialog. The default button is the one that is "highlighted", but the keyboard focus...

IMO, one should not be able to replace a built-in with a newer one from the UI. Built-ins usually are tied to the exact version of the platform they are...

This seems to be Chrome-specific. Works in Firefox.

Unsurprisingly, Electron ist affected.

I believe this request is acomplished with https://github.com/eclipse-theia/theia/pull/13082

Done as part of #11642

This was a Electron bug related to disposing javascript contexts. This is fixed by using context isolation