comparison src/oct-hist.cc @ 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 23ff3d50ab76
comparison
equal deleted inserted replaced
1642:50e71230d582 1643:5e108d51e370
136 } 136 }
137 137
138 void 138 void
139 maybe_save_history (const char *s) 139 maybe_save_history (const char *s)
140 { 140 {
141 if (user_pref.saving_history) 141 if (user_pref.saving_history && ! input_from_startup_file)
142 { 142 {
143 add_history (s); 143 add_history (s);
144 history_lines_this_session++; 144 history_lines_this_session++;
145 } 145 }
146 } 146 }