Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
What it does
This fixes the focussing of notebook editors when switching tabs.
Previously there was the problem that it was neccessary to click the notebook editor once to set it as active
How to test
Best is probably through debugging.
Set breakpoints in
applicaiton-shell.ts
atonCurrentChanged
andonActiveChanged
and click the tab of a currently hidden notebook editor.It should now focus correctly
Follow-ups
Review checklist
Reminder for reviewers