Re: [Github-comments] [geany/geany] Support for more flexible font scaling (#2242)