From f1f95ef71d9f3c2bc5da9644dd21696181489aa5 Mon Sep 17 00:00:00 2001
From: Tim Janik <timj@src.gnome.org>
Date: Fri, 20 Jun 2008 11:08:39 +0000
Subject: [PATCH] Seal GtkMenuShell

svn path=/trunk/; revision=20609
---
 gtk/gtkmenushell.h | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/gtk/gtkmenushell.h b/gtk/gtkmenushell.h
index 0aca2f94a0..94ddbde340 100644
--- a/gtk/gtkmenushell.h
+++ b/gtk/gtkmenushell.h
@@ -52,20 +52,20 @@ typedef struct _GtkMenuShellClass  GtkMenuShellClass;
 struct _GtkMenuShell
 {
   GtkContainer container;
-  
-  GList *children;
-  GtkWidget *active_menu_item;
-  GtkWidget *parent_menu_shell;
-  
-  guint button;
-  guint32 activate_time;
 
-  guint active : 1;
-  guint have_grab : 1;
-  guint have_xgrab : 1;
-  guint ignore_leave : 1;	/* unused */
-  guint menu_flag : 1;		/* unused */
-  guint ignore_enter : 1;
+  GList *GSEAL (children);
+  GtkWidget *GSEAL (active_menu_item);
+  GtkWidget *GSEAL (parent_menu_shell);
+
+  guint GSEAL (button);
+  guint32 GSEAL (activate_time);
+
+  guint GSEAL (active : 1);
+  guint GSEAL (have_grab : 1);
+  guint GSEAL (have_xgrab : 1);
+  guint GSEAL (unused1);
+  guint GSEAL (unused2);
+  guint GSEAL (ignore_enter : 1);
 };
 
 struct _GtkMenuShellClass