This website requires JavaScript.
Explore
Help
Sign In
godotengine
/
godot
Watch
1
Star
0
Fork
0
You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced
2025-11-28 16:07:14 +00:00
Code
Releases
Wiki
Activity
Files
e1c6dd522b2d9da9f12a90f356d365d85a070f5c
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
Raw
Blame
History
View Raw
View Git Blame
Copy Permalink