From 58cca05ee2d587c2cda1e1d5c2e0b8b0aa934d04 Mon Sep 17 00:00:00 2001
From: Matthias Clasen <mclasen@redhat.com>
Date: Wed, 21 Oct 2015 06:52:56 -0400
Subject: [PATCH] shortcuts: Add some margin around 'no results'

Otherwise, things may appear cramped.
---
 gtk/gtkshortcutswindow.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk/gtkshortcutswindow.c b/gtk/gtkshortcutswindow.c
index 77c4bcc1eb..c4b935db73 100644
--- a/gtk/gtkshortcutswindow.c
+++ b/gtk/gtkshortcutswindow.c
@@ -800,6 +800,7 @@ gtk_shortcuts_window_init (GtkShortcutsWindow *self)
   empty = g_object_new (GTK_TYPE_GRID,
                         "visible", TRUE,
                         "row-spacing", 12,
+                        "margin", 12,
                         "hexpand", TRUE,
                         "vexpand", TRUE,
                         "halign", GTK_ALIGN_CENTER,