[Furio]

I'm not an expert, but a "definitive" solution would be to add a windowed mode for menu and mission builder. I would like to see this or another fix as a single-purpose patch (such as 4.13.1).