[gnome-builder] workbench: add padding for header bar

[Christian Hergert <chergert src gnome org>]

commit 49afd0bf0cc6518c56dfd9a964cb66da5710f86f
Author: Christian Hergert <chergert redhat com>
Date:   Thu Jun 16 22:35:24 2016 -0700

    workbench: add padding for header bar

 libide/workbench/ide-workbench-header-bar.h |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)
---
diff --git a/libide/workbench/ide-workbench-header-bar.h b/libide/workbench/ide-workbench-header-bar.h
index 881626b..f58e87f 100644
--- a/libide/workbench/ide-workbench-header-bar.h
+++ b/libide/workbench/ide-workbench-header-bar.h
@@ -30,6 +30,15 @@ G_DECLARE_DERIVABLE_TYPE (IdeWorkbenchHeaderBar, ide_workbench_header_bar, IDE,
 struct _IdeWorkbenchHeaderBarClass
 {
   GtkHeaderBarClass parent;
+
+  gpointer _reserved1;
+  gpointer _reserved2;
+  gpointer _reserved3;
+  gpointer _reserved4;
+  gpointer _reserved5;
+  gpointer _reserved6;
+  gpointer _reserved7;
+  gpointer _reserved8;
 };
 
 GtkWidget *ide_workbench_header_bar_new          (void);