I filed the following bug:
https://gitlab.gnome.org/GNOME/gtksourceview/issues/41, which promptly
got close as "expected behavior". Apparently, you'd either have to use
CSS or install a new font map for the GtkSourceMap.
Sure is disappointingly helpful.

I can't figure out the connection code between the FontMap and the SourceMap.

gtk-app-devel-list mailing list

Reply via email to