Skip to content

Disable "Open new terminal" if there's no active workspace#25892

Merged
ravicious merged 6 commits into
masterfrom
ravicious/new-terminal-no-workspace
May 16, 2023
Merged

Disable "Open new terminal" if there's no active workspace#25892
ravicious merged 6 commits into
masterfrom
ravicious/new-terminal-no-workspace

Commits

Commits on May 9, 2023

Commits on May 16, 2023