godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-01-05 19:31:35 +00:00
Code Releases Wiki Activity

Merge pull request #113619 from HolonProduction/once-upon-a-time-there-was-a-file-which-one-i-dont-know-the-history-was-locked

Browse Source 
Ensure correct unlocking of script editor history
This commit is contained in:
Thaddeus Crews
2025-12-11 12:12:42 -06:00
parent 3008b5c59f 31307ce856
commit bb4b4e3890
3 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
editor/script/script_editor_plugin.h
View File

@@ -524,6 +524,7 @@ class ScriptEditor : public PanelContainer {
bool waiting_update_names;
bool lock_history = false;
void _unlock_history();
void _help_class_open(const String &p_class);
void _help_class_goto(const String &p_desc);