reveal active editor / show panel when appropriate (#158802)

This commit is contained in:
Megan Rogge 2022-08-22 20:03:45 -07:00 committed by GitHub
parent dcf0c0a141
commit bd6107301d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -545,6 +545,7 @@ export function registerTerminalActions() {
const terminalService = accessor.get(ITerminalService);
const terminalGroupService = accessor.get(ITerminalGroupService);
const codeEditorService = accessor.get(ICodeEditorService);
const terminalEditorService = accessor.get(ITerminalEditorService);
const instance = await terminalService.getActiveOrCreateInstance();
const editor = codeEditorService.getActiveCodeEditor();
@ -560,7 +561,11 @@ export function registerTerminalActions() {
text = editor.getModel().getValueInRange(selection, endOfLinePreference);
}
instance.sendText(text, true);
return terminalGroupService.showPanel();
if (instance.target === TerminalLocation.Editor) {
terminalEditorService.revealActiveEditor();
} else {
terminalGroupService.showPanel();
}
}
});
registerAction2(class extends Action2 {