changeset 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 5c4d807b3aff
children 29573bab8328
files libgui/src/m-editor/file-editor.cc
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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 ())