1
0
mirror of https://github.com/godotengine/godot.git synced 2026-01-04 19:21:46 +00:00
Files
godot/editor/plugins/script_text_editor.h
Rémi Verschelde 121e1df55b Merge pull request #66300 from KoBeWi/📝🧭
Split script navigation state and edit state
2022-10-05 08:30:49 +02:00

11 KiB