changeset 1641:1f99a54d7b52

[project @ 1995-12-08 21:57:50 by jwe]
author jwe
date Fri, 08 Dec 1995 21:57:50 +0000
parents f985a06c9c56
children 50e71230d582
files src/user-prefs.h
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/user-prefs.h	Tue Nov 28 05:05:51 1995 +0000
+++ b/src/user-prefs.h	Fri Dec 08 21:57:50 1995 +0000
@@ -48,6 +48,7 @@
   int resize_on_range_error;
   int return_last_computed_value;
   int save_precision;
+  int saving_history;
   int silent_functions;
   int split_long_rows;
   int struct_levels_to_print;
@@ -100,6 +101,7 @@
 extern int read_only_constants (void);
 extern int resize_on_range_error (void);
 extern int return_last_computed_value (void);
+extern int saving_history (void);
 extern int silent_functions (void);
 extern int split_long_rows (void);
 extern int struct_levels_to_print (void);