# HG changeset patch
# User jwe
# Date 831972959 0
# Node ID 2f1c9bfab251c2818c48d7c40d97b73f744bafee
# Parent  2d352d57a5ab6c4c4d884644db4455a18113a5a1
[project @ 1996-05-13 07:35:59 by jwe]

diff -r 2d352d57a5ab -r 2f1c9bfab251 info/info.c
--- a/info/info.c	Mon May 13 07:11:40 1996 +0000
+++ b/info/info.c	Mon May 13 07:35:59 1996 +0000
@@ -310,6 +310,12 @@
 	  info_read_and_dispatch ();
 
 	  terminal_unprep_terminal ();
+
+	  /* On program exit, leave the cursor at the bottom of the
+	     window, and restore the terminal IO. */
+	  terminal_goto_xy (0, screenheight - 1);
+	  terminal_clear_to_eol ();
+	  fflush (stdout);
 	}
       else
 	{