Spike - Creation and activation of a new terminal when switching environments

[luabud]

• Investigate if the extension can know if there's a terminal open
• Investigate if it's possible to create a new terminal without displaying it

[brettcannon]

There is an API to get a list of all terminals as well as the current/last active terminal, but there's no way to know from the Terminal object itself or anything else if the terminal is visible (there is an API to make one visible, though).

The TerminalOptions object that can be used to configure a new terminal has a hideFromUser which seems to hide the terminal from the user, but the docs don't clearly state if that is just for visibility or if it means it won't even be listed in the panel drop-down for terminals.

[karrtikr]

As @brettcannon stated, there is currently no way to know if a particular terminal is currently visible or not.
Correction: Actually window.activeTerminal carries the last visible terminal. So we can know if a terminal is visible or not.

The TerminalOptions object that can be used to configure a new terminal has a hideFromUser which seems to hide the terminal from the user, but the that also hides the terminal from list in the panel drop-down for terminals.

[luabud]

Reviewed 👍 thanks Kartik!