[gnome-builder] preferences: take group priority into account

[Christian Hergert <chergert src gnome org>]

commit 2e18d08031e355159fb19e9058603a73dd725d49
Author: Christian Hergert <chergert redhat com>
Date:   Sat Feb 18 12:49:19 2017 -0800

    preferences: take group priority into account
    
    When we refactored this, we failed to persist the priority of the group
    across so they were instead taking priority from order of addition.

 libide/preferences/ide-preferences-page.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/libide/preferences/ide-preferences-page.c b/libide/preferences/ide-preferences-page.c
index 3a8e916..b7b2d99 100644
--- a/libide/preferences/ide-preferences-page.c
+++ b/libide/preferences/ide-preferences-page.c
@@ -133,7 +133,9 @@ ide_preferences_page_add_group (IdePreferencesPage  *self,
 
   g_hash_table_insert (self->groups_by_name, name, group);
 
-  gtk_container_add (GTK_CONTAINER (self->box), GTK_WIDGET (group));
+  gtk_container_add_with_properties (GTK_CONTAINER (self->box), GTK_WIDGET (group),
+                                     "priority", ide_preferences_group_get_priority (group),
+                                     NULL);
 }
 
 /**