pioneerspacesim/pioneer — pull request #1481 by johnbartholomew (2012-09-03 19:33:30+00:00)
Title: Un-hide base widgets at the end of Gui::Screen::ShowBadError

Fixes #1479.

It's not ideal, because it shows *all* base widgets, rather than restoring just the ones that were visible before the red-screen. An alternative is to leave the other base widgets visible while the red-screen is shown (the red-screen will appear on top). Another alternative specifically for #1479 is to explicitly call menu->Show to force the issue in the main menu loop.