Current tab is not always selected correctly

[McSodbrenner]

Every now and then the correct tab is not selected when the current editor changes (seen when using the original "Open Editors" for example). The reason seems to be that we have a time delay between VS code and extension host, but this is not expressed by the API in an asynchronous function: https://github.com/microsoft/vscode-discussions/discussions/125

Until there is a solution to the problem on the part of VS Code, I will try to solve the problem via polling as a workaround. The separation of VS code and extension host also seems to be the reason for the somewhat poor responsiveness of the extension.

[McSodbrenner]

Seems to be something that will not be fixed anytime soon. :(

April 2018

• [x] https://github.com/microsoft/vscode/issues/47153
  • Was fixed in May 2018 by sandy081

October 2018

• [ ] https://github.com/microsoft/vscode/issues/62214
  • "alexr00 modified the milestones: October 2019, On Deck".
  • The ticket is still open. :)

April 2020

• [x] https://github.com/microsoft/vscode/issues/96089
  • Workaround with getChildren suggested.
  • But API proposal accepted.
  • Rejected. No 20 upvotes.

July 2022

• [ ] https://github.com/microsoft/vscode/issues/153982
  • Bug confirmed, then nothing happened.
  • The ticket is still open.