[marcosdumay]

If you leave it there, it eats vertical space.

I usually don't like IDE terminals, they don't do anything that you can't do in a real terminal, but comes with all kinds of problems that wouldn't be accepted on a single purpose program. But that's my preference, yours is fine too. The only real problem is leaving stuff eating up a portion of the screen when you are not using.

[alerighi]

They have one feature that I like, at least in VSCode terminal: if you click on something that resembles a compilation error (filename:line) it will open the editor on that file on that line. That work with every compiler/tool and it's useful.

Other than that, I don't like to leave my editor to switch to a terminal. Thus when I develop I usually use the VSCode terminal because it's more practical, to compile, run tests, use git (yes, I know that VSCode has git functionalities built in... I find the terminal more practical and fast)