[gnome-builder] prefs: put prefs groups in an EggScrolledWindow
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] prefs: put prefs groups in an EggScrolledWindow
- Date: Tue, 10 May 2016 07:28:46 +0000 (UTC)
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]