Skip to content

Commit

Permalink
Back out changeset: a1ce3c6a3e5e
Browse files Browse the repository at this point in the history
  • Loading branch information
mmuetzel committed Jan 10, 2025
1 parent 71e276e commit 777023d
Showing 1 changed file with 0 additions and 16 deletions.
16 changes: 0 additions & 16 deletions libgui/src/m-editor/file-editor-tab.cc
Original file line number Diff line number Diff line change
Expand Up @@ -2567,22 +2567,6 @@ file_editor_tab::do_save_file (const QString& file_to_save,
// breakpoints would reopen the tab in this case.
if (restore_breakpoints)
check_restore_breakpoints ();

// re-hash load-path
Q_EMIT interpreter_event
([] (interpreter& interp)
{
// INTERPRETER THREAD

load_path& lp = interp.get_load_path ();

// Rehashing the load path is probably only needed when executing
// new files for the first time and the command line prompt hasn't
// yet been displayed 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 ();
});
}
else
{
Expand Down

0 comments on commit 777023d

Please sign in to comment.