[gnome-builder/wip/gtk4-port] libide/gui: use configurations for build configurations

[Christian Hergert <chergert src gnome org>]

commit 9a783c24050e9ac7c793af08de41e5adf5aa29a5
Author: Christian Hergert <chergert redhat com>
Date:   Tue May 10 15:46:28 2022 -0700

    libide/gui: use configurations for build configurations

 src/libide/gui/ide-preferences-builtin.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/src/libide/gui/ide-preferences-builtin.c b/src/libide/gui/ide-preferences-builtin.c
index 86e6766db..6eb9c38ca 100644
--- a/src/libide/gui/ide-preferences-builtin.c
+++ b/src/libide/gui/ide-preferences-builtin.c
@@ -665,9 +665,8 @@ static const IdePreferencePageEntry pages[] = {
 };
 
 static const IdePreferencePageEntry project_pages[] = {
-  { NULL, "config", "configurations", "org.gnome.Builder-projects-symbolic",    0, N_("Configurations") },
+  { NULL, "config", "build",          "org.gnome.Builder-build-symbolic",       0, N_("Configurations") },
   { NULL, "code",   "languages",      "org.gnome.Builder-languages-symbolic", 100, N_("Languages") },
-  { NULL, "tools",  "build",          "org.gnome.Builder-build-symbolic",     300, N_("Build") },
 };
 
 static const IdePreferenceGroupEntry groups[] = {