[Github-comments] Re: [geany/geany] [Settings] Fonts to change? Three entries right now. (Issue #3956)