Closed Hackerpcs closed 6 years ago
I use this little trick to be able to switch between terminal and editor
{ "key": "ctrl+`", "command": "workbench.action.terminal.focus" }, { "key": "ctrl+`", "command": "workbench.action.focusActiveEditorGroup", "when": "terminalFocus" }
With workbench.action.terminal.focus if a terminal isn't open it opens one, if a terminal is open it just switches focus. It would be nice for terminalHere.create to behave similarly
Right now I use this workaround
{ "key": "ctrl+shift+`", "command": "terminalHere.create", "when": "editorFocus" }
There's no way to do this currently from an extension.
I use this little trick to be able to switch between terminal and editor
With workbench.action.terminal.focus if a terminal isn't open it opens one, if a terminal is open it just switches focus. It would be nice for terminalHere.create to behave similarly
Right now I use this workaround