[GREENFOOT-617] Closing the Terminal will bring the editor to front, even if the greenfoot main frame was focused before the terminal.

---

Issue metadata

• Issue type: Bug
• Priority: Medium
• Fix versions: 3.1.0