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
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 wrot
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')
gi.require_versi
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 = Pa
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 = G
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
>
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,
