Re: [Github-comments] [geany/geany] HiDPI support: provide double-size icons (#1957)