The plugin could use a shortcut to toggle focus between the terminal and the current line in the editor. Even without this shortcut, upon closing, the terminal should automatically turn the focus over to the editor.
The plugin could use a shortcut to toggle focus between the terminal and the current line in the editor.
Even without this shortcut, upon closing, the terminal should automatically turn the focus over to the editor.