[gnome-builder/wip/chergert/layout: 112/118] workbench: add padding to hamburger

[Christian Hergert <chergert src gnome org>]

commit ffb51b951b24000115c5cdd9449b69dd2829945c
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jul 5 01:16:57 2017 -0700

    workbench: add padding to hamburger
    
    This adds padding to make it match our layout stack popover.

 libide/workbench/ide-workbench-header-bar.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/libide/workbench/ide-workbench-header-bar.c b/libide/workbench/ide-workbench-header-bar.c
index 4a62703..896456b 100644
--- a/libide/workbench/ide-workbench-header-bar.c
+++ b/libide/workbench/ide-workbench-header-bar.c
@@ -76,6 +76,7 @@ ide_workbench_header_bar_init (IdeWorkbenchHeaderBar *self)
   popover = gtk_popover_new_from_model (NULL, G_MENU_MODEL (model));
   gtk_widget_set_size_request (popover, 225, -1);
   gtk_menu_button_set_popover (priv->menu_button, popover);
+  gtk_container_set_border_width (GTK_CONTAINER (popover), 10);
 }
 
 void