Tweaks to dumpScreen().

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index 6acecfdaa613d5df116b73c47f5c60a25b9c95ed..e3386dae90bd026931b99ba34219924b5959a486 100644 (file)
--- a/src/GUI/gui.cxx
+++ b/src/GUI/gui.cxx
@@ -595,6 +595,10 @@ void dumpScreen ( puObject *obj ) {
 
     fgInitVisuals();
     fgReshape( current_options.get_xsize(), current_options.get_ysize() );
+
+    // we need two render frames here to clear the menu and cursor
+    // ... not sure why but doing an extra fgFenderFrame() shoulnd't
+    // hurt anything
     fgRenderFrame();
     fgRenderFrame();