comparison src/oct-hist.cc @ 1588:27f5ac98fc4a

[project @ 1995-10-31 06:04:47 by jwe]
author jwe
date Tue, 31 Oct 1995 06:04:47 +0000
parents 89c587478067
children 50e71230d582
comparison
equal deleted inserted replaced
1587:dd087a402811 1588:27f5ac98fc4a
576 576
577 // Turn on command echo, so the output from this will make better 577 // Turn on command echo, so the output from this will make better
578 // sense. 578 // sense.
579 579
580 begin_unwind_frame ("do_edit_history"); 580 begin_unwind_frame ("do_edit_history");
581 unwind_protect_int (echo_input); 581 unwind_protect_int (user_pref.echo_executing_commands);
582 unwind_protect_int (input_from_tmp_history_file); 582 unwind_protect_int (input_from_tmp_history_file);
583 echo_input = 1; 583 user_pref.echo_executing_commands = ECHO_CMD_LINE;
584 input_from_tmp_history_file = 1; 584 input_from_tmp_history_file = 1;
585 585
586 parse_and_execute (name, 1); 586 parse_and_execute (name, 1);
587 587
588 run_unwind_frame ("do_edit_history"); 588 run_unwind_frame ("do_edit_history");
605 605
606 // Turn on command echo, so the output from this will make better 606 // Turn on command echo, so the output from this will make better
607 // sense. 607 // sense.
608 608
609 begin_unwind_frame ("do_run_history"); 609 begin_unwind_frame ("do_run_history");
610 unwind_protect_int (echo_input); 610 unwind_protect_int (user_pref.echo_executing_commands);
611 unwind_protect_int (input_from_tmp_history_file); 611 unwind_protect_int (input_from_tmp_history_file);
612 echo_input = 1; 612 user_pref.echo_executing_commands = ECHO_CMD_LINE;
613 input_from_tmp_history_file = 1; 613 input_from_tmp_history_file = 1;
614 614
615 parse_and_execute (name, 1); 615 parse_and_execute (name, 1);
616 616
617 run_unwind_frame ("do_run_history"); 617 run_unwind_frame ("do_run_history");