# HG changeset patch
# User jwe
# Date 818459870 0
# Node ID 1f99a54d7b52b4fd0c6ceb62b6c5b37fefe1958e
# Parent  f985a06c9c5617f042885c6c9bfdcf84846696e2
[project @ 1995-12-08 21:57:50 by jwe]

diff -r f985a06c9c56 -r 1f99a54d7b52 src/user-prefs.h
--- 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);