# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1713191957 -7200
# Node ID ada37b7a4b281e25b93040e83a41302a79fce104
# Parent  05f246fa1e06d79d620f2a9bd6172a99c1b82145# Parent  f64d8e86b0fc32a560138ad32c9887377cd43d9e
maint: Merge stable to default.

diff -r 05f246fa1e06 -r ada37b7a4b28 libgui/src/main-window.cc
--- a/libgui/src/main-window.cc	Mon Apr 15 13:54:22 2024 +0200
+++ b/libgui/src/main-window.cc	Mon Apr 15 16:39:17 2024 +0200
@@ -1211,6 +1211,13 @@
 
            load_path& lp = interp.get_load_path ();
 
+           // Rehashing the load path is only needed when executing new files
+           // in the built-in editor for the first time and the command line
+           // prompt hasn't been displayed yet again since this *new* file has
+           // been saved for the first time.
+           // FIXME: Is there a way to detect here that a file is new?
+           lp.rehash ();
+
            std::string path = info.absolutePath ().toStdString ();
 
            if (lp.contains_file_in_dir (file_path, path))