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: Discourse instance

2019-03-01 Thread Emmanuele Bassi via gtk-app-devel-list
And, of course, I forgot the link: https://discourse.gnome.org Embarrassing. Ciao, Emmanuele. On Fri, 1 Mar 2019 at 15:41, Emmanuele Bassi wrote: > Hi all; > > after the discussion[1] last month, and the feedback received (both on > list and off), we decided to trial a Discourse instance on

Re: Discourse instance

2019-03-01 Thread Emmanuele Bassi via gtk-app-devel-list
Note: for those who prefer email, we've written down a handy guide on how to use email with Discourse: https://discourse.gnome.org/t/interacting-with-discourse-via-email/46 Ciao, Emmanuele. On Fri, 1 Mar 2019 at 15:50, Emmanuele Bassi wrote: > And, of course, I forgot the link:

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

Discourse instance

2019-03-01 Thread Emmanuele Bassi via gtk-app-devel-list
Hi all; after the discussion[1] last month, and the feedback received (both on list and off), we decided to trial a Discourse instance on the GNOME infrastructure. The Platform/Core sub-category is meant to be used for all discussions about GTK, GLib, GdkPixbuf, Pango, and other core libraries