diff --git a/0001-window.ui-Use-the-correct-parent-widget.patch b/0001-window.ui-Use-the-correct-parent-widget.patch new file mode 100644 index 0000000..da4b1a6 --- /dev/null +++ b/0001-window.ui-Use-the-correct-parent-widget.patch @@ -0,0 +1,26 @@ +From 08eb9cf4fce7c936ab11d3a0b6d2638e5276a8e3 Mon Sep 17 00:00:00 2001 +From: Yosef Or Boczko +Date: Sun, 4 May 2014 01:27:52 +0300 +Subject: [PATCH] window.ui: Use the correct parent widget + +https://bugzilla.gnome.org/show_bug.cgi?id=729484 +--- + data/ui/window.ui | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/data/ui/window.ui b/data/ui/window.ui +index 681b38a..c7a931f 100644 +--- a/data/ui/window.ui ++++ b/data/ui/window.ui +@@ -1,7 +1,7 @@ + + + +-