godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-07 12:30:27 +00:00
Code Releases Wiki Activity
Files
c4aa1078fbd0f6d5426d7aa4b9898a3378baaf71
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde c4aa1078fb Merge pull request #88465 from AeioMuch/search_results_button 
[Editor] Hide Search Results by default and show it on first search.
2024-03-25 11:18:35 +01:00

146 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink