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
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
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
.main_quit()
> >>
> >>
> >> if __name__ == "__main__":
> >> app = GUI()
> >> Gtk.main()
> >>
> >>
> >>
> >> On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote:
> >>&
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
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 -
> >>>
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
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:
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
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
10 matches
Mail list logo
