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
86253cbdfe0410ad4d50c2051036b51fb01ea16d
godot/tools/editor/code_editor.h
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

6.3 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink