godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-08 12:40:44 +00:00
Code Releases Wiki Activity
Files
a392aa455f33757b10fd9f2bcbb4aa6367b39c7f
godot/editor/find_in_files.h
Stijn Hinlopen dc7f555783 Search result highlights follow font size 
(cherry picked from commit a86521d0bd)
2020-06-18 11:29:28 +02:00

6.0 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink