More information at: https://gitlab.gnome.org/GNOME/gtksourceview/commit/0ae462ebc8eceb810f176a21792a63de4efe597b
On Mon, Mar 4, 2019 at 8:41 AM Mitko Haralanov <voidtra...@gmail.com> wrote: > > 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 <sil...@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. > > > > > _______________________________________________ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
