From e577d8c7efd0c43b58890ef885bd2db393f668ba Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Fri, 15 Oct 1999 00:40:11 +0000
Subject: [PATCH] Tweaks to dumpScreen().

---
 src/GUI/gui.cxx | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/GUI/gui.cxx b/src/GUI/gui.cxx
index 6acecfdaa..e3386dae9 100644
--- 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();