描述
Description
After restart, selecting existing open editors does not update theia.window.activeTextEditor
Reproduction Steps
Create the HelloWorld example plugin
yo @theia/plugin
Update the code to show the language of the active editor as shown
Run the plugin in hosted mode and issue the 'Hello World' command. Initially the active editor is undefined as expected. Open a file HelloWorld command now shows the correct active editor.
Restart/Refresh the browser.
Select an existing editor and issue HelloWorld command The active editor is always undefined. Open a new file The command now reports the NEW active editor Select an old editor with different extension Clear the notification and issue the commend The wrong editor is now reported showing the newly opened editor rather than the older one.
OS Windows/Linux, Theia version: 10
