godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-16 14:00:40 +00:00
Code Releases Wiki Activity
Files
8f265e8c0b51509e107cc2eac33e3f99ddce9eb2
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