godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-28 16:07:14 +00:00
Code Releases Wiki Activity
Files
1babc23d95f34a23bcc545ebadf05f8b27dc7daa
godot/editor/code_editor.h
Bojidar Marinov 862369f842 Display a count of matches when searching in the code editor 
Fixes #14513
2019-07-08 20:33:04 +03:00

7.4 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink