Changeset 16880

Timestamp:

06/21/13 16:02:59 (11 years ago)

Author:

tbretz

Message:

Redisplay has to check if this is an update due to change of terminal size. If this is the case the cursor must be moved back to the beginning of the line. For convenience we also clean the line (to remove the last charcter in the line, which (maybe fpor safty reason to avoid newlines) readline doesn't remove.

File:

• trunk/FACT++/src/Readline.cc (modified) (1 diff)

trunk/FACT++/src/Readline.cc

@@ -349 +349 @@
 //! 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();
 }