1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-16 14:00:40 +00:00
Files
godot/editor/plugins/script_text_editor.cpp
Rémi Verschelde 25fa5eadd5 Merge pull request #82986 from OmarShehata/fix-external-editor-hot-reload
Fix external editor hot reload for GDScript
2023-10-11 22:38:42 +02:00

90 KiB