Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-04 Thread Mitko Haralanov via gtk-app-devel-list
More information at: https://gitlab.gnome.org/GNOME/gtksourceview/commit/0ae462ebc8eceb810f176a21792a63de4efe597b On Mon, Mar 4, 2019 at 8:41 AM Mitko Haralanov 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

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-04 Thread Mitko Haralanov via gtk-app-devel-list
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

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-01 Thread Reuben Rissler
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

Re: Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-01 Thread Mitko Haralanov via gtk-app-devel-list
.main_quit() > >> > >> > >> if __name__ == "__main__": > >> app = GUI() > >> Gtk.main() > >> > >> > >> > >> On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote: > >>&

Fwd: Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-01 Thread Reuben Rissler
ppears to be much more activity related to GtkSourceView. -- Forwarded message - From: Mitko Haralanov Date: Tue, Feb 5, 2019, 13:42 Subject: Changing font of GtkSourceView changes font of GtkSourceMap To: I can't figure out how to change the font of GtkSourceView and GtkSour

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-01 Thread Mitko Haralanov via gtk-app-devel-list
Feb 5, 2019 at 2:28 PM Mitko Haralanov > >> wrote: > >>> Forwarding to gtk-app-devel since there appears to be much more activity > >>> related to GtkSourceView. > >>> > >>> -- Forwarded message - > >>>

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-28 Thread Reuben Rissler
ears to be much more activity related to GtkSourceView. -- Forwarded message - From: Mitko Haralanov Date: Tue, Feb 5, 2019, 13:42 Subject: Changing font of GtkSourceView changes font of GtkSourceMap To: I can't figure out how to change the font of GtkSourceView and GtkSourceMap

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-27 Thread Mitko Haralanov via gtk-app-devel-list
pears to be much more activity > > related to GtkSourceView. > > > > -- Forwarded message - > > From: Mitko Haralanov > > Date: Tue, Feb 5, 2019, 13:42 > > Subject: Changing font of GtkSourceView changes font of GtkSourceMap > > To:

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-11 Thread Mitko Haralanov via gtk-app-devel-list
ate: Tue, Feb 5, 2019, 13:42 > Subject: Changing font of GtkSourceView changes font of GtkSourceMap > To: > > > I can't figure out how to change the font of GtkSourceView and > GtkSourceMap in a reasonable way. > > According to the documentation, the View and the Map sho

Fwd: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-05 Thread Mitko Haralanov via gtk-app-devel-list
Forwarding to gtk-app-devel since there appears to be much more activity related to GtkSourceView. -- Forwarded message - From: Mitko Haralanov Date: Tue, Feb 5, 2019, 13:42 Subject: Changing font of GtkSourceView changes font of GtkSourceMap To: I can't figure out how