nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-03-03 20:55:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
2e94be2ea4d13d13febfc0daadcd20f48af2bef8
godot/editor/code_editor.h
Brian MacIntosh 0d7db935aa Search terms are now highlighted when the bar opens with a selection. 
This is achieved by triggering a search when the bar opens. This is slightly inefficient but cleanly updates everything that's dependent on the search and reduces code duplication.
2023-10-30 10:21:25 -07:00

8.9 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink