godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-22 15:06:45 +00:00
Code Releases Wiki Activity
Files
57bd26082b5e006568672bc5a22c32a14e938687
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde 57bd26082b Merge pull request #29547 from santouits/filter-scripts 
Add filter search for script list and the members in the script editor
2019-06-19 00:15:17 +02:00

109 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink