GtkFontChooser allows you to [filter the list of fonts it shows](https://developer.gnome.org/gtk3/stable/GtkFontChooser.html#gtk-font-chooser...), so it shouldn't be tough.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1928#issuecomment-415232012