Re: [Github-comments] [geany/geany] Font size is bigger when the search field is red (#1384)