diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-07-09 08:28:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-09 08:28:12 +0200 |
commit | c2cf640753cbf0b4a74c5dba8a6ae815e2923331 (patch) | |
tree | 01188bd5d5bf39cd34ca3bf0657ad8e9c135ccb8 /platform/windows/godot.ico | |
parent | dcffa0ee6461b40c0378eccc55f6474802c41bb9 (diff) | |
parent | 862369f8420608d131dda9a3da2d7dd860fce72f (diff) |
Merge pull request #30435 from bojidar-bg/14513-show-matches-count
Display a count of matches when searching in the code editor
Diffstat (limited to 'platform/windows/godot.ico')
0 files changed, 0 insertions, 0 deletions