diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-16 09:25:39 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-16 09:25:39 +0100 |
| commit | f639f5096e23e74a1ed88f095d18db99a29ba463 (patch) | |
| tree | 41ce70b00b502ca973b49e91d73991030a621618 /editor/plugins | |
| parent | 517b7fc46801a0189baac5b5548cb99f5b344c19 (diff) | |
| parent | 0dc1bcb0c98f9b6a6a99bbf28206160bed031c8a (diff) | |
Merge pull request #71485 from adamscott/history-local
Save history when goto script line in the text editor
Diffstat (limited to 'editor/plugins')
| -rw-r--r-- | editor/plugins/script_editor_plugin.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.cpp b/editor/plugins/script_editor_plugin.cpp index 2ca26ff2b9..4268abe4a2 100644 --- a/editor/plugins/script_editor_plugin.cpp +++ b/editor/plugins/script_editor_plugin.cpp @@ -439,6 +439,8 @@ void ScriptEditor::_goto_script_line(Ref<RefCounted> p_script, int p_line) { } else if (current) { current->goto_line(p_line, true); } + + _save_history(); } } } |