Skip to content

[v13] Disable "Open new terminal" if there's no active workspace#26333

Merged
ravicious merged 5 commits into
branch/v13from
bot/backport-25892-branch/v13
May 16, 2023
Merged

[v13] Disable "Open new terminal" if there's no active workspace#26333
ravicious merged 5 commits into
branch/v13from
bot/backport-25892-branch/v13

Commits

Commits on May 16, 2023