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