GtkFontChooser allows you to [filter the list of fonts it 
shows](https://developer.gnome.org/gtk3/stable/GtkFontChooser.html#gtk-font-chooser-set-filter-func),
 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

Reply via email to