Improve search: GUI: next/previous/nb of occurrences
(Suggested by Jocelyn Aznar)
A progression indicator (+ extra buttons) for the search could be handy. It would tell the user if it has missed a match for a keyword, or if they have seen them all.
Edited by Jerome Flesch