Re: [Github-comments] [geany/geany] Improve the visibility of the searched elements (#1822)