diff src/oct-hist.h @ 168:a500c60e8f23

[project @ 1993-10-19 05:24:44 by jwe]
author jwe
date Tue, 19 Oct 1993 05:27:59 +0000
parents 91ab99b0dbae
children a99f28f5e351
line wrap: on
line diff
--- a/src/oct-hist.h	Tue Oct 19 05:14:27 1993 +0000
+++ b/src/oct-hist.h	Tue Oct 19 05:27:59 1993 +0000
@@ -36,6 +36,9 @@
 extern void do_run_history (int, char**);
 extern int current_history_number (void);
 
+// Nonzero means input is coming from temporary history file.
+extern int input_from_tmp_history_file;
+
 // Nonzero means we are saving history lines.
 extern int saving_history;