Skip to content

If active editor opened is outside the editor, activate the first workspace#22450

Merged
karrtikr merged 5 commits intomainfrom
kartik/international-chipmunk
Nov 10, 2023
Merged

If active editor opened is outside the editor, activate the first workspace#22450
karrtikr merged 5 commits intomainfrom
kartik/international-chipmunk

Commits

Commits on Nov 9, 2023