godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-22 15:06:45 +00:00
Code Releases Wiki Activity
Files
1f2bcb8f025e33718d06a72cbd439f1ba02aed0f
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