Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 16916)
+++ trunk/FACT++/src/Readline.cc	(revision 16917)
@@ -366,13 +366,16 @@
     int w, h;
     rl_get_screen_size(&h, &w);
-    if (W!=w || h!=H)
-    {
-        cout << '\r' << string(w+1, ' ') << '\r';
-
-        W=w;
-        H=h;
-    }
-
-    rl_redisplay();
+    if (W==w && h==H)
+    {
+        rl_redisplay();
+        return;
+    }
+
+    cout << '\r' << string(w+1, ' ') << '\r';
+
+    W=w;
+    H=h;
+
+    rl_forced_update_display();
 }