From 8bfc387579a646d5a9dc6c5c6020b44797422dc5 Mon Sep 17 00:00:00 2001
From: Sebastien Helleu <flashcode@flashtux.org>
Date: Sat, 26 Mar 2011 17:40:20 +0100
Subject: [PATCH] core: flush stdout after changing terminal title (patch from
 Guido Berhoerster)

---
 src/gui/curses/gui-curses-window.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gui/curses/gui-curses-window.c b/src/gui/curses/gui-curses-window.c
index d250bf1db..6566709c1 100644
--- a/src/gui/curses/gui-curses-window.c
+++ b/src/gui/curses/gui-curses-window.c
@@ -26,6 +26,7 @@
 #endif
 
 #include <stdlib.h>
+#include <stdio.h>
 #include <string.h>
 #include <ctype.h>
 #include <stdarg.h>
@@ -2057,6 +2058,7 @@ gui_window_set_title (const char *title)
                 printf ("\33]0;%s\7", "Terminal");
             }
         }
+        fflush (stdout);
     }
 }