Depending on the type of projects you are working with (especially if you work with modern web projects) I would suggest giving a try to the Terminal+ included in CodeMix. It has very good integration with our DevStyle themes and it’s highly possible the issue is not present there (though I cannot ensure it as I was not able to replicate the issue given it’s a very specific setup you got there). You might as well find CodeMix useful.
Cheers!
Aaron Lara