blob: 66c32e7cf80620998e39c8c46f23d98a8dc45e37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Index: src/gtk+-3.24.13/gtk/ui/gtkstatusbar.ui
===================================================================
--- src.orig/gtk+-3.24.13/gtk/ui/gtkstatusbar.ui
+++ src/gtk+-3.24.13/gtk/ui/gtkstatusbar.ui
@@ -5,8 +5,8 @@
<property name="spacing">2</property>
<property name="margin-start">10</property>
<property name="margin-end">10</property>
- <property name="margin-top">6</property>
- <property name="margin-bottom">6</property>
+ <property name="margin-top">1</property>
+ <property name="margin-bottom">1</property>
<child>
<object class="GtkFrame" id="frame">
<property name="visible">1</property>
|