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
So, to close the loop... 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. On Fri, Mar 1, 2019 at 2:30 PM Reuben Rissler

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

2019-03-01 Thread Reuben Rissler
I forgot to cc the list. On 03/01/2019 03:23 PM, Mitko Haralanov wrote: Thanks for the example. I modified it to illustrate the behavior: It verily looks like a bug to me. I can't figure out a way to work around this either. import gi gi.require_version('GtkSource', '3.0')

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-03-01 Thread Mitko Haralanov via gtk-app-devel-list
Thanks for the example. I modified it to illustrate the behavior: import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango def set_font(button, view, map, tag): font_name = button.get_font_name() font =

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-28 Thread Reuben Rissler
I am not sure if this helps any: #!/usr/bin/env python import gi gi.require_version('GtkSource', '3.0') gi.require_version('Gtk', '3.0') from gi.repository import Gtk, GtkSource, GObject, Pango class GUI:     def __init__(self):         GObject.type_register(GtkSource.View)         window =

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-27 Thread Mitko Haralanov via gtk-app-devel-list
Still looking for some help on this. Thank you. On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov wrote: > > Any help would be appreciated. > > Thank you. > > On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov wrote: > > > > Forwarding to gtk-app-devel since there appears to be much more activity >

Re: Changing font of GtkSourceView changes font of GtkSourceMap

2019-02-11 Thread Mitko Haralanov via gtk-app-devel-list
Any help would be appreciated. Thank you. On Tue, 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 - > From: Mitko Haralanov > Date: Tue, Feb 5, 2019,