# HG changeset patch
# User jwe
# Date 818460920 0
# Node ID 5e108d51e370c83f462d18f7f9c9437daea63f32
# Parent  50e71230d58254cc81029c67fc70007009583a04
[project @ 1995-12-08 22:13:06 by jwe]

diff -r 50e71230d582 -r 5e108d51e370 src/oct-hist.cc
--- a/src/oct-hist.cc	Fri Dec 08 22:08:48 1995 +0000
+++ b/src/oct-hist.cc	Fri Dec 08 22:15:20 1995 +0000
@@ -138,7 +138,7 @@
 void
 maybe_save_history (const char *s)
 {
-  if (user_pref.saving_history)
+  if (user_pref.saving_history && ! input_from_startup_file)
     {
       add_history (s);
       history_lines_this_session++;
diff -r 50e71230d582 -r 5e108d51e370 src/variables.cc
--- a/src/variables.cc	Fri Dec 08 22:08:48 1995 +0000
+++ b/src/variables.cc	Fri Dec 08 22:15:20 1995 +0000
@@ -747,12 +747,12 @@
       if (is_function_file (ffile))
 	{
 	  unwind_protect_int (user_pref.echo_executing_commands);
-	  unwind_protect_int (saving_history);
+	  unwind_protect_int (user_pref.saving_history);
 	  unwind_protect_int (reading_fcn_file);
 	  unwind_protect_int (input_from_command_line_file);
 
 	  user_pref.echo_executing_commands = ECHO_OFF;
-	  saving_history = 0;
+	  user_pref.saving_history = 0;
 	  reading_fcn_file = 1;
 	  input_from_command_line_file = 0;
 
@@ -1829,9 +1829,8 @@
     "if a function does not return any values explicitly, return the\n\
   last computed value");
 
-  DEFVAR ("save_precision", SBV_save_precision, 15.0, 0,
-	  set_save_precision,
-    "number of significant figures kept by the ASCII save command");
+  DEFVAR ("saving_history", SBV_saving_history, 1.0, 0, saving_history,
+    "save command history");
 
   DEFVAR ("silent_functions", SBV_silent_functions, 0.0, 0,
 	  silent_functions,