Re: Changing font of GtkSourceView changes font of GtkSourceMap

[Mitko Haralanov <voidtrance gmail com>]

I haven't played with the FontMap but was thinking of going the route
of using CSS. That, in itself, is a bit of a hassle as I can't seem to
find a way to convert a PangoFontDescription to CSS but there are some
patches that I found online that should help.

On Fri, Mar 1, 2019 at 7:16 PM Reuben Rissler <silrep emypeople net> wrote:
> > 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.
> >