[gtksourceview] map: set a better default size

[Christian Hergert <chergert src gnome org>]

commit ec035402ffd46ae088a5b8ebd499effa23fa3117
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 12:09:59 2021 -0700

    map: set a better default size
    
    At 3pt we come out to 4px which is better in that it doesn't
    result in an odd spacing between glyphs like we get at 3px.

 gtksourceview/gtksourcemap.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/gtksourceview/gtksourcemap.c b/gtksourceview/gtksourcemap.c
index c9bc7795..0b23b875 100644
--- a/gtksourceview/gtksourcemap.c
+++ b/gtksourceview/gtksourcemap.c
@@ -246,7 +246,8 @@ load_override_font (GtkSourceMap *map)
        font_map = pango_cairo_font_map_new_for_font_type (CAIRO_FONT_TYPE_FT);
        pango_fc_font_map_set_config (PANGO_FC_FONT_MAP (font_map), map_font_config);
        gtk_widget_set_font_map (GTK_WIDGET (map), font_map);
-       font_desc = pango_font_description_from_string ("BuilderBlocks 2");
+       font_desc = pango_font_description_from_string ("BuilderBlocks");
+       pango_font_description_set_size (font_desc, 3 * PANGO_SCALE);
 
        g_assert (map_font_config != NULL);
        g_assert (font_map != NULL);