Bug Description:

During the code editing process, multiple tab pages are opened, and the mouse pointers are at different positions. After closing the Theia IDE and reopening it, only the tab page that is displayed by default can restore the pointer position correctly. The mouse pointers of other tab pages all return to the top. Compared with editors such as VS Code and PyCharm, which can restore the states of all tab pages correctly, this is determined to be a bug.

Steps to Reproduce:

1.Open three tab pages: extensio.ts(25:33), util.d.ts(14:20), and wasi.d.ts(52:17).
2.Close the Theia IDE and reopen it.
3.Observe that except for the extension.ts tab page where the pointer position is correct, the mouse pointers of the other two tab pages are at the top.

Additional Information

• Operating System: windows10
• Theia Version: 1.59.1

Attachment：