Merged
If active editor opened is outside the editor, activate the first workspace#22450
Commits
Commits on Nov 9, 2023
- committedKartik Raj
- committedKartik Raj
- committedKartik Raj
- committedKartik Raj
- committedKartik Raj