Re: Changing font of GtkSourceView changes font of GtkSourceMap
- From: Reuben Rissler <silrep emypeople net>
- To: Mitko Haralanov <voidtrance gmail com>
- Cc: gtk-app-devel-list gnome org
- Subject: Re: Changing font of GtkSourceView changes font of GtkSourceMap
- Date: Fri, 1 Mar 2019 22:16:09 -0500
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.
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
