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 > well. > > 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 firstname.lastname@example.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list