gnome-system-monitor/gsm-bsc1020294-add-resources-scrollbar.patch
2017-03-14 21:23:21 +00:00

27 lines
1.2 KiB
Diff

diff -urp gnome-system-monitor-3.20.1.orig/data/interface.ui gnome-system-monitor-3.20.1/data/interface.ui
--- gnome-system-monitor-3.20.1.orig/data/interface.ui 2016-02-03 11:11:26.000000000 -0600
+++ gnome-system-monitor-3.20.1/data/interface.ui 2017-02-13 10:57:00.815968998 -0600
@@ -167,6 +167,13 @@
</packing>
</child>
<child>
+ <object class="GtkScrolledWindow" id="res_scrolled">
+ <property name="visible">True</property>
+ <property name="can_focus">True</property>
+ <property name="hexpand">True</property>
+ <property name="vexpand">True</property>
+ <property name="shadow_type">none</property>
+ <child>
<object class="GtkBox" id="res_box">
<property name="visible">True</property>
<property name="can_focus">False</property>
@@ -466,6 +473,8 @@
</packing>
</child>
</object>
+ </child>
+ </object>
<packing>
<property name="name">resources</property>
<property name="title" translatable="yes">Resources</property>