PR: Show the number of matches in the Find/Replace widget#4060

Merged

ccordoba12 merged 7 commits intospyder-ide:3.xfrom mariacamilarg:fixes_issue_4001

Aug 19, 2017

+115-6

Commits on Aug 15, 2017

gives number of matches for a search, pending current match

mariacamilarg
authored and
dalthviz
committed
outside if found

mariacamilarg
authored and
dalthviz
committed

Commits on Aug 16, 2017

Commits on Aug 19, 2017

Adds test.
dalthviz
committed
Adds blank.
dalthviz
committed