Changing font of GtkSourceView changes font of GtkSourceMap

Mitko Haralanov via gnome-devtools <[email protected]> Tue, 5 Feb 2019 13:42:45 -0800
Newsgroups gmane.comp.gnome.devtools
Message-ID <CAN1y3kJ7bcaLLTqH98sCyj88uEncNh3yimS=o5SHjqTGv0Kk1w@mail.gmail.com>
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
well.

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

Thank you,
- Mitko