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):

        window = Gtk.Window()
        window.connect('destroy', self.on_window_destroy)
        pane = Gtk.Paned(orientation = Gtk.Orientation.HORIZONTAL)
        s_view = GtkSource.View()
        s_map = GtkSource.Map()
        s_map.set_property('font-desc', Pango.font_description_from_string("Sans 3"))

    def on_window_destroy(self, window):

if __name__ == "__main__":
    app = GUI()

On 02/27/2019 12:36 PM, Mitko Haralanov via gtk-app-devel-list wrote:
Still looking for some help on this.

Thank you.

On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov <voidtra...@gmail.com> wrote:
Any help would be appreciated.

Thank you.

On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov <voidtra...@gmail.com> wrote:
Forwarding to gtk-app-devel since there appears to be much more activity 
related to GtkSourceView.

---------- Forwarded message ---------
From: Mitko Haralanov <voidtra...@gmail.com>
Date: Tue, Feb 5, 2019, 13:42
Subject: Changing font of GtkSourceView changes font of GtkSourceMap
To: <gnome-devto...@gnome.org>

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 should be using
the same font but with the Map using a font size of 1pt. To me this
implies that when I change the font of the TextBuffer of the View
using tags, I can copy the PangoFontDescription to a new object,
change the font size to 1pt and set the new PangoFontDescription as
the "font-desc" property of the Map.

In practice, however, the Map always has the exact same font size as
the View. No matter what I do, I can't seem to change the font size of
the Map to 1pt, unless I change the font size of the View to 1pt, as

What is the correct processes for changing the font size of both the
View and the Map?

Thank you,
- Mitko
gtk-app-devel-list mailing list

gtk-app-devel-list mailing list

Reply via email to