changeset 1643:5e108d51e370

[project @ 1995-12-08 22:13:06 by jwe]
author jwe
date Fri, 08 Dec 1995 22:15:20 +0000
parents 50e71230d582
children 395bb6d6c096
files src/oct-hist.cc src/variables.cc
diffstat 2 files changed, 5 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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++;
--- 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,