1 Index: gtk+3.0-3.1.16/gtk/gtk.symbols
2 ===================================================================
3 --- gtk+3.0-3.1.16.orig/gtk/gtk.symbols 2011-09-05 08:52:11.049554717 +0200
4 +++ gtk+3.0-3.1.16/gtk/gtk.symbols 2011-09-05 08:52:13.489554730 +0200
8 ubuntu_gtk_menu_shell_activate_mnemonic
9 +ubuntu_gtk_widget_set_has_grab
10 ubuntu_menu_proxy_get_type
12 ubuntu_menu_proxy_insert
13 Index: gtk+3.0-3.1.16/gtk/gtkwidget.c
14 ===================================================================
15 --- gtk+3.0-3.1.16.orig/gtk/gtkwidget.c 2011-09-05 08:52:02.109554655 +0200
16 +++ gtk+3.0-3.1.16/gtk/gtkwidget.c 2011-09-05 08:52:13.499554731 +0200
17 @@ -14539,3 +14539,11 @@
19 return widget->priv->context;
23 +ubuntu_gtk_widget_set_has_grab (GtkWidget *widget,
26 + _gtk_widget_set_has_grab (widget, has_grab);
29 Index: gtk+3.0-3.1.16/gtk/gtkwidget.h
30 ===================================================================
31 --- gtk+3.0-3.1.16.orig/gtk/gtkwidget.h 2011-09-05 08:52:02.129554657 +0200
32 +++ gtk+3.0-3.1.16/gtk/gtkwidget.h 2011-09-05 08:52:13.509554732 +0200
34 GtkWidgetPath * gtk_widget_get_path (GtkWidget *widget);
37 +void ubuntu_gtk_widget_set_has_grab (GtkWidget *widget,
42 #endif /* __GTK_WIDGET_H__ */