Skip to content

Add alwaysUseActiveTerminal setting #123#133

Merged
Ikuyadeu merged 4 commits intoREditorSupport:masterfrom
andycraig:issue-123-always-active-term
Oct 13, 2019
Merged

Add alwaysUseActiveTerminal setting #123#133
Ikuyadeu merged 4 commits intoREditorSupport:masterfrom
andycraig:issue-123-always-active-term

Commits

Commits on Oct 6, 2019

Commits on Oct 8, 2019