[gnome-builder/gnome-builder-41] editor: tweak size for updated font

[Christian Hergert <chergert src gnome org>]

commit 6454b7d8407701853b9e9c187cffc8b7882b56a7
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 17:19:40 2021 -0700

    editor: tweak size for updated font

 src/libide/editor/ide-editor-page.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/libide/editor/ide-editor-page.c b/src/libide/editor/ide-editor-page.c
index 24bc8c100..69264b1d9 100644
--- a/src/libide/editor/ide-editor-page.c
+++ b/src/libide/editor/ide-editor-page.c
@@ -79,7 +79,7 @@ ide_editor_page_load_fonts (IdeEditorPage *self)
   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), localFontConfig);
   gtk_widget_set_font_map (GTK_WIDGET (self->map), font_map);
-  font_desc = pango_font_description_from_string ("Builder Blocks 1");
+  font_desc = pango_font_description_from_string ("Builder Blocks 3"); /* 3pt is 4px */
 
   g_assert (localFontConfig != NULL);
   g_assert (font_map != NULL);