godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-14 13:41:12 +00:00
Code Releases Wiki Activity
Files
7e4c58c56331f0a6f98c9ac950135041d8578f97
godot/tools/editor/code_editor.cpp
Ignacio Etcheverry 7e4c58c563 Fixed and improved search bar 
- Search no longer selects the results
- Return focus to the text editor when hiding the bar
- Fix connecting to invalid signal
- Update/redraw the text editor after searching
2016-05-30 18:15:41 +02:00

29 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink