third_party/instrumented_libraries/patches/libgtk2.0-0.trusty.diff

   1 diff -rupN ./gtk/gtkmenushell.h ../gtk+2.0-2.24.23-patched/gtk/gtkmenushell.h
   2 --- ./gtk/gtkmenushell.h        2014-03-06 08:56:42.000000000 +0400
   3 +++ ../gtk+2.0-2.24.23-patched/gtk/gtkmenushell.h       2014-09-30 23:37:46.908364552 +0400
   4 @@ -136,6 +136,11 @@ void     _gtk_menu_shell_set_keyboard_mo
   5                                              gboolean      keyboard_mode);
   6  gboolean _gtk_menu_shell_get_keyboard_mode (GtkMenuShell *menu_shell);
   7
   8 +// https://bugs.launchpad.net/bugs/945135
   9 +gboolean ubuntu_gtk_menu_shell_activate_mnemonic (GtkMenuShell *shell,
  10 +                                                  GtkWidget *item);
  11 +gboolean ubuntu_gtk_menu_shell_activate_first (GtkMenuShell *menu_shell,
  12 +                                               gboolean search_sensitive);
  13  G_END_DECLS
  14
  15  #endif /* __GTK_MENU_SHELL_H__ */