1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00

Merge pull request #82956 from Chtau/GDScript-external-Editor-Engine-crash

Fixes internal Script Editor crash with External Editor active
This commit is contained in:
Rémi Verschelde
2023-11-10 10:43:58 +01:00
2 changed files with 9 additions and 3 deletions

View File

@@ -395,6 +395,7 @@ class ScriptEditor : public PanelContainer {
bool open_textfile_after_create = true;
bool trim_trailing_whitespace_on_save;
bool convert_indent_on_save;
bool external_editor_active;
void _goto_script_line2(int p_line);
void _goto_script_line(Ref<RefCounted> p_script, int p_line);