nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-03-03 20:55:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
fd79de01c20168075dbf425831ac44f2b676f275
godot/editor/plugins/script_editor_plugin.h
Rémi Verschelde 55f00d9655 Merge pull request #16455 from volzhs/close-docs 
Keep to show current script when closing all docs
2018-02-20 09:40:29 +01:00

12 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink