Daniel Imms 15ee956bf9
Merge pull request #46272 from usernamehw/focus_terminal
Focus terminal after toggling via `workbench.action.terminal.toggleTerminal`
2018-03-22 13:51:12 -07:00
..
2018-03-21 10:46:12 -07:00
2018-03-19 12:59:32 +01:00
2018-03-19 12:59:32 +01:00
2018-03-19 12:59:32 +01:00
2018-03-06 16:22:37 -08:00