[shell] Active editor/widget tracking is broken sometimes

[kittaakos]

Description

I have experienced it sever times in the last few days, sometimes, the active widget is incorrect. I noticed it when tried to zoom in/out, did not work, or just write something to the editor. See the attached screencast. I am positive it is not related to the preferences widget. I experienced the same with code editors only (but could not create a screencast before).

I will set up an example with Theia only in short.

Reproduction Steps

OS and Theia version:

Diagnostics:

[akosyakov]

I can have a look if you know how to reproduce.

[kittaakos]

I can have a look if you know how to reproduce.

"I will set up an example with Theia only in short." 👆

Thank you! I will name you here, once it is ready with an example.

[kittaakos]

I can have a look if you know how to reproduce.

Here: https://github.com/eclipse-theia/theia/compare/GH-7133
Please open Theia with a Theia workspace. (The workspace should contain at least 5 files with .ts in their path.)

[akosyakov]

@kittaakos Do you think it could be resolved by #7903 too?