use helper

This commit is contained in:
meganrogge 2023-09-19 12:26:32 -07:00
parent f89f293320
commit 3464868729
No known key found for this signature in database
GPG key ID: AA74638D4878183D

View file

@ -491,11 +491,7 @@ export function registerTerminalActions() {
return;
}
c.service.setActiveInstance(instance);
if (instance.target === TerminalLocation.Panel) {
c.groupService.showPanel(true);
} else {
c.editorService.activeInstance?.focus();
}
c.service.focusActiveInstance();
}
});