| Index: third_party/instrumented_libraries/patches/libgtk2.0-0.trusty.diff
|
| diff --git a/third_party/instrumented_libraries/patches/libgtk2.0-0.trusty.diff b/third_party/instrumented_libraries/patches/libgtk2.0-0.trusty.diff
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..2a8295b8b18abcadea0f076be5e6fe290f98fbaa
|
| --- /dev/null
|
| +++ b/third_party/instrumented_libraries/patches/libgtk2.0-0.trusty.diff
|
| @@ -0,0 +1,15 @@
|
| +diff -rupN ./gtk/gtkmenushell.h ../gtk+2.0-2.24.23-patched/gtk/gtkmenushell.h
|
| +--- ./gtk/gtkmenushell.h 2014-03-06 08:56:42.000000000 +0400
|
| ++++ ../gtk+2.0-2.24.23-patched/gtk/gtkmenushell.h 2014-09-30 23:37:46.908364552 +0400
|
| +@@ -136,6 +136,11 @@ void _gtk_menu_shell_set_keyboard_mo
|
| + gboolean keyboard_mode);
|
| + gboolean _gtk_menu_shell_get_keyboard_mode (GtkMenuShell *menu_shell);
|
| +
|
| ++// https://bugs.launchpad.net/bugs/945135
|
| ++gboolean ubuntu_gtk_menu_shell_activate_mnemonic (GtkMenuShell *shell,
|
| ++ GtkWidget *item);
|
| ++gboolean ubuntu_gtk_menu_shell_activate_first (GtkMenuShell *menu_shell,
|
| ++ gboolean search_sensitive);
|
| + G_END_DECLS
|
| +
|
| + #endif /* __GTK_MENU_SHELL_H__ */
|
|
|