Automatically activate terminals created by the user when not using the Python command #1387
Description
This world allow us to automatically activate environments.
Use the following event:
const myTerm = createTerminal();
window.onDidOpenTerminal(t => {
if (t !== myTerm) {
// do stuff here
}
});