diff src/toplev.cc @ 2552:b9f178af9281

[project @ 1996-11-20 23:20:09 by jwe]
author jwe
date Wed, 20 Nov 1996 23:20:10 +0000
parents 0c5e671499ed
children f7e3d23f0a8f
line wrap: on
line diff
--- a/src/toplev.cc
+++ b/src/toplev.cc
@@ -99,6 +99,11 @@
 int using_readline = 0;
 #endif
 
+#if defined (USE_READLINE)
+// This is from readline's rltty.c:
+extern "C" void rl_deprep_terminal (void);
+#endif
+
 // Nonzero means we printed messages about reading startup files.
 int reading_startup_message_printed = 0;
 
@@ -297,7 +302,11 @@
 void
 clean_up_and_exit (int retval)
 {
+#if defined (USE_READLINE)
+  rl_deprep_terminal ();
+#else
   raw_mode (0);
+#endif
 
   octave_command_history.clean_up_and_save ();