[gnome-builder/wip/gtk4-port] libide/gui: add configurations page

[Christian Hergert <chergert src gnome org>]

commit 3279e7d6f9968942f585afa123a931d8bee0f672
Author: Christian Hergert <chergert redhat com>
Date:   Tue Apr 19 17:50:23 2022 -0700

    libide/gui: add configurations page
    
    This is where we'll put the IdeConfigView addins or whatever replaces
    that API (possibly IdePreferencesAddin).

 src/libide/gui/ide-preferences-builtin.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/src/libide/gui/ide-preferences-builtin.c b/src/libide/gui/ide-preferences-builtin.c
index 10a0a548f..9422f29fa 100644
--- a/src/libide/gui/ide-preferences-builtin.c
+++ b/src/libide/gui/ide-preferences-builtin.c
@@ -665,7 +665,8 @@ static const IdePreferencePageEntry pages[] = {
 };
 
 static const IdePreferencePageEntry project_pages[] = {
-  { NULL, "code",     "languages",  "org.gnome.Builder-languages-symbolic",   100, N_("Languages") },
+  { NULL, "config", "configurations", "org.gnome.Builder-projects-symbolic",    0, N_("Configurations") },
+  { NULL, "code",   "languages",      "org.gnome.Builder-languages-symbolic", 100, N_("Languages") },
 };
 
 static const IdePreferenceGroupEntry groups[] = {