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
862369f8420608d131dda9a3da2d7dd860fce72f
godot/editor/code_editor.cpp
Bojidar Marinov 862369f842 Display a count of matches when searching in the code editor 
Fixes #14513
2019-07-08 20:33:04 +03:00

52 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink