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 /modules/svg/config.py | |
| 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 'modules/svg/config.py')
0 files changed, 0 insertions, 0 deletions