# HG changeset patch
# User jwe
# Date 830407037 0
# Node ID 30c55a47d6aeeb418d95d59ad919550be6775cf0
# Parent  679d7262a525a95c971d315b58bdb083f397f764
[project @ 1996-04-25 04:37:17 by jwe]

diff -r 679d7262a525 -r 30c55a47d6ae src/toplev.cc
--- a/src/toplev.cc	Thu Apr 25 04:29:27 1996 +0000
+++ b/src/toplev.cc	Thu Apr 25 04:37:17 1996 +0000
@@ -630,7 +630,12 @@
 	      
       char ch;
       while (cmd->get (ch))
-	output_buf.put (ch);
+	{
+	  if (return_output || user_pref.page_screen_output)
+	    output_buf.put (ch);
+	  else
+	    cout.put (ch);
+	}
 
       output_buf << ends;