[gnome-builder] preferences: adjust location of Projects

[Christian Hergert <chergert src gnome org>]

commit 9afc539b217bb50cfac01ab791dc183d567a2781
Author: Christian Hergert <christian hergert me>
Date:   Mon Feb 29 23:16:22 2016 -0800

    preferences: adjust location of Projects

 libide/preferences/ide-preferences-builtin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-builtin.c b/libide/preferences/ide-preferences-builtin.c
index ac7b95c..5da219e 100644
--- a/libide/preferences/ide-preferences-builtin.c
+++ b/libide/preferences/ide-preferences-builtin.c
@@ -249,7 +249,7 @@ ide_preferences_builtin_register_build (IdePreferences *preferences)
 static void
 ide_preferences_builtin_register_projects (IdePreferences *preferences)
 {
-  ide_preferences_add_page (preferences, "projects", _("Projects"), 800);
+  ide_preferences_add_page (preferences, "projects", _("Projects"), 450);
 
   ide_preferences_add_list_group (preferences, "projects", "discovery", _("Project Discovery"), 0);
   ide_preferences_add_switch (preferences, "projects", "discovery", "org.gnome.builder", 
"enable-project-miners", NULL, NULL, _("Discover projects on my computer"), _("Scan your computer for 
existing projects"), NULL, 0);