diff options
Diffstat (limited to 'appearance__smaller-statusbar.patch')
| -rw-r--r-- | appearance__smaller-statusbar.patch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/appearance__smaller-statusbar.patch b/appearance__smaller-statusbar.patch index 65d61951380d..66c32e7cf806 100644 --- a/appearance__smaller-statusbar.patch +++ b/appearance__smaller-statusbar.patch @@ -1,7 +1,7 @@ -Index: src/gtk+-3.24.12/gtk/ui/gtkstatusbar.ui +Index: src/gtk+-3.24.13/gtk/ui/gtkstatusbar.ui =================================================================== ---- src.orig/gtk+-3.24.12/gtk/ui/gtkstatusbar.ui -+++ src/gtk+-3.24.12/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> |