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: Finding .desktop file and application info

2019-03-04 Thread Osmo Antero via gtk-app-devel-list
Hello, Yes, g_desktop_app_info_search() is exactly what I need. I will test it later. Thanks a lot for your help. // Moma tito-wolit escreveu no dia segunda, 4/03/2019 à(s) 06:59: > > > On 3/3/19 9:53 PM, Osmo Antero wrote: > > Hello Tito, > > Muito obrigado. > > Thank you, the call with