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 a
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 Ri
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 code
>> window.show_all()
> >>
> >> def on_window_destroy(self, window):
> >> Gtk.main_quit()
> >>
> >>
> >> if __name__ == "__main__":
> >> app = GUI()
> >> Gtk.main()
> >
uld 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, 13:42
Subject: Changin
rote:
> >> 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
> >&g
ralanov 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, 13:42
Subject: Changing font of GtkSourceView changes font of GtkSourceMap
To:
I can't fi
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:
&g
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 Ma
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 h
10 matches
Mail list logo
