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



commit 60bd811021660121cbf77270148273b638bb6bee
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>


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]