Index: trunk/FACT++/src/Readline.cc
===================================================================
--- trunk/FACT++/src/Readline.cc	(revision 16879)
+++ trunk/FACT++/src/Readline.cc	(revision 16880)
@@ -349,6 +349,19 @@
 //! Default: call rl_redisplay()
 //
+
 void Readline::Redisplay()
 {
+    static int W=-1, H=-1;
+
+    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();
 }