changeset 870:b57450f85c07

[project @ 1994-11-02 16:58:12 by jwe]
author jwe
date Wed, 02 Nov 1994 16:58:12 +0000
parents 05428c0044cc
children 1a137429b26e
files src/file-io.cc
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/file-io.cc	Wed Nov 02 16:26:12 1994 +0000
+++ b/src/file-io.cc	Wed Nov 02 16:58:12 1994 +0000
@@ -1352,7 +1352,14 @@
       if (strcmp (type, "scanf") == 0
 	  || (doing_fscanf && file.number () == 0))
 	{
+// XXX FIXME XXX -- this should probably be possible for more than
+// just stdin/stdout pairs, using a list of output streams to flush.
+// The list could be created with a function like iostream's tie().
+
+	  flush_output_to_pager ();
+
 	  string = gnu_readline ("");
+
 	  if (string && *string)
 	    maybe_save_history (string);
 	}