godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-01-01 18:51:18 +00:00
Code Releases Wiki Activity
Files
4aca27e2fa4a32d2bd618d1ce2ac14cec299c903
godot/editor/plugins/script_editor_plugin.cpp
Paulb23 4aca27e2fa Fixed script tab selection on file close, issue 8400 
(cherry picked from commit 3906134003)
2017-07-30 21:23:19 +02:00

92 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink