Re: Changing font of GtkSourceView changes font of GtkSourceMap

[Mitko Haralanov <voidtrance gmail com>]

Still looking for some help on this.

Thank you.

On Mon, Feb 11, 2019 at 9:11 AM Mitko Haralanov <voidtrance gmail com> wrote:
> Any help would be appreciated.
>
> Thank you.
>
> On Tue, Feb 5, 2019 at 2:28 PM Mitko Haralanov <voidtrance gmail com> wrote:
> > Forwarding to gtk-app-devel since there appears to be much more activity related to GtkSourceView.
> >
> > ---------- Forwarded message ---------
> > From: Mitko Haralanov <voidtrance gmail com>
> > Date: Tue, Feb 5, 2019, 13:42
> > Subject: Changing font of GtkSourceView changes font of GtkSourceMap
> > To: <gnome-devtools 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
> > well.
> >
> > What is the correct processes for changing the font size of both the
> > View and the Map?
> >
> > Thank you,
> > - Mitko