[gnome-builder/gnome-builder-3-20] prefs: put prefs groups in an EggScrolledWindow

[Christian Hergert <chergert src gnome org>]

commit 7f5ee780548a1ddc7b5b2687e8a88344d4b06edc
Author: Christian Hergert <chergert redhat com>
Date:   Tue May 10 10:28:19 2016 +0300

    prefs: put prefs groups in an EggScrolledWindow
    
    When preferences get really long, they can be rather unsightly and hard
    to browse. This just ensures we scroll after 500px rather than keep
    growing.

 data/ui/ide-preferences-group.ui |   11 +++++++++--
 1 files changed, 9 insertions(+), 2 deletions(-)
---
diff --git a/data/ui/ide-preferences-group.ui b/data/ui/ide-preferences-group.ui
index 04aac85..3a0e533 100644
--- a/data/ui/ide-preferences-group.ui
+++ b/data/ui/ide-preferences-group.ui
@@ -33,9 +33,16 @@
             <child>
               <object class="GtkFrame" id="list_box_frame">
                 <child>
-                  <object class="GtkListBox" id="list_box">
-                    <property name="selection-mode">none</property>
+                  <object class="EggScrolledWindow">
                     <property name="visible">true</property>
+                    <property name="shadow-type">none</property>
+                    <property name="max-content-height">500</property>
+                    <child>
+                      <object class="GtkListBox" id="list_box">
+                        <property name="selection-mode">none</property>
+                        <property name="visible">true</property>
+                      </object>
+                    </child>
                   </object>
                 </child>
               </object>