Re: [Github-comments] [geany/geany] Search interface/functionality improvements (#2148)