"Check with TLC": keep focus on model's buffer

[frankshearar]

Is there a way in VS Code to make "TLA+: Check with TLC" keep focus on the model's buffer?

The focus changes to the checker's buffer, and so I need to click back to the original buffer to carry on typing.