Edition, Search, highlight all matches
currently only the selected match is highlighted by the search toolbar
(from redmine: issue id 3557, created on 2023/12/20 by Matthieu Decorde)
currently only the selected match is highlighted by the search toolbar
(from redmine: issue id 3557, created on 2023/12/20 by Matthieu Decorde)