Widgets in Secondary Windows are not Part of TabGroups #13495
Labels
editor
issues related to the editor
secondary-window
issues related to multi or secondary window support
vscode
issues related to VSCode compatibility
Comments
tsmaeder
added
editor
4 tasks
sdirix
added
the
secondary-window
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Bug Description:
When moving an editor to a secondary window in VS Code, this window serves as a
TabGroup(https://code.visualstudio.com/api/references/vscode-api#TabGroup). In Theia, the widgets being moved to a secondary window seem to be closed.This leads to problems with diagnostics in the typescript built-in extensions, because it only provides diagnostics for editors it considers to be visible: #13163 (comment)
Additional Information
The text was updated successfully, but these errors were encountered: