# HG changeset patch
# User Torsten Lilge <ttl-octave@mailbox.org>
# Date 1651078992 -7200
# Node ID ba701853b1bfe864e653cfafca2a6656d486a00d
# Parent  5c4d807b3afff33522ac7d91ce24d5929c7897a4
ensure running new file version on save+run (bug #60122)

* file-editor.cc (request_run_file): check for updated file time stamp

diff -r 5c4d807b3aff -r ba701853b1bf libgui/src/m-editor/file-editor.cc
--- a/libgui/src/m-editor/file-editor.cc	Sat Apr 23 19:01:43 2022 -0700
+++ b/libgui/src/m-editor/file-editor.cc	Wed Apr 27 19:03:12 2022 +0200
@@ -676,6 +676,11 @@
        {
          // INTERPRETER THREAD
 
+         // Act as though this action was entered at the command propmt
+         // so that the interpreter will check for updated file time
+         // stamps.
+         Vlast_prompt_time.stamp ();
+
          tree_evaluator& tw = interp.get_evaluator ();
 
          if (tw.in_debug_repl ())