godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-18 14:21:41 +00:00
Code Releases Wiki Activity
Files
a64ffa3a33ac4dba1b723f3328ad8b37857d420c
godot/editor/plugins/script_editor_plugin.h
Rémi Verschelde 4816317bbc Debugger: Save options in project metadata 
Fixes #19542.

(cherry picked from commit 090361f3c9)
2020-11-17 16:42:42 +01:00

15 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink