diff options
| author | kobewi <kobewi4e@gmail.com> | 2022-10-22 23:54:37 +0200 |
|---|---|---|
| committer | kobewi <kobewi4e@gmail.com> | 2024-04-25 23:22:47 +0200 |
| commit | 3a1246c198ac819edaf0d3f0c52f2255af0c8977 (patch) | |
| tree | 2e6ef587fd2743dad8176881e4454aa9f40b3468 /editor/plugins/script_editor_plugin.h | |
| parent | 11d3768132582d192b8464769f26b493ae822321 (diff) | |
| download | redot-engine-3a1246c198ac819edaf0d3f0c52f2255af0c8977.tar.gz | |
Store line change in script navigation history
Diffstat (limited to 'editor/plugins/script_editor_plugin.h')
| -rw-r--r-- | editor/plugins/script_editor_plugin.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/plugins/script_editor_plugin.h b/editor/plugins/script_editor_plugin.h index f87cb0958c..de3ab3fd5a 100644 --- a/editor/plugins/script_editor_plugin.h +++ b/editor/plugins/script_editor_plugin.h @@ -472,12 +472,14 @@ class ScriptEditor : public PanelContainer { void _history_back(); bool waiting_update_names; + bool lock_history = false; void _help_class_open(const String &p_class); void _help_class_goto(const String &p_desc); bool _help_tab_goto(const String &p_name, const String &p_desc); void _update_history_arrows(); void _save_history(); + void _save_previous_state(Dictionary p_state); void _go_to_tab(int p_idx); void _update_history_pos(int p_new_pos); void _update_script_colors(); |