comparison libgui/src/m-editor/file-editor.cc @ 30967:ba701853b1bf

ensure running new file version on save+run (bug #60122) * file-editor.cc (request_run_file): check for updated file time stamp
author Torsten Lilge <ttl-octave@mailbox.org>
date Wed, 27 Apr 2022 19:03:12 +0200
parents 04601f6c47f4
children c6c4c6f04170
comparison
equal deleted inserted replaced
30966:5c4d807b3aff 30967:ba701853b1bf
674 emit interpreter_event 674 emit interpreter_event
675 ([=] (interpreter& interp) 675 ([=] (interpreter& interp)
676 { 676 {
677 // INTERPRETER THREAD 677 // INTERPRETER THREAD
678 678
679 // Act as though this action was entered at the command propmt
680 // so that the interpreter will check for updated file time
681 // stamps.
682 Vlast_prompt_time.stamp ();
683
679 tree_evaluator& tw = interp.get_evaluator (); 684 tree_evaluator& tw = interp.get_evaluator ();
680 685
681 if (tw.in_debug_repl ()) 686 if (tw.in_debug_repl ())
682 emit request_dbcont_signal (); 687 emit request_dbcont_signal ();
683 else 688 else