Set focus/selection to new term on dbl click

Fixes #122297
This commit is contained in:
Daniel Imms 2021-04-27 05:01:51 -07:00
parent 4c24caf5d9
commit aac4cce13e

View file

@ -93,7 +93,9 @@ export class TerminalTabsWidget extends WorkbenchObjectTree<ITerminalInstance>
this.onMouseDblClick(e => {
if (this.getFocus().length === 0) {
this._terminalService.createTerminal();
const instance = this._terminalService.createTerminal();
this.setSelection([instance]);
this.setFocus([instance]);
}
});