Home
last modified time | relevance | path

Searched refs:menu_shell (Results 1 – 2 of 2) sorted by relevance

/external/chromium/chrome/browser/ui/gtk/
Dgtk_custom_menu.cc13 static gint gtk_menu_shell_is_item(GtkMenuShell* menu_shell, in G_DEFINE_TYPE()
17 g_return_val_if_fail(GTK_IS_MENU_SHELL(menu_shell), FALSE); in G_DEFINE_TYPE()
22 if (parent == reinterpret_cast<GtkWidget*>(menu_shell)) in G_DEFINE_TYPE()
32 static GtkWidget* gtk_menu_shell_get_item(GtkMenuShell* menu_shell, in gtk_menu_shell_get_item() argument
39 if (menu_item && gtk_menu_shell_is_item(menu_shell, menu_item)) in gtk_menu_shell_get_item()
101 static void gtk_custom_menu_move_current(GtkMenuShell* menu_shell, in gtk_custom_menu_move_current() argument
108 GtkWidget* menu_item = GTK_MENU_SHELL(menu_shell)->active_menu_item; in gtk_custom_menu_move_current()
123 move_current(menu_shell, direction); in gtk_custom_menu_move_current()
127 menu_item = GTK_MENU_SHELL(menu_shell)->active_menu_item; in gtk_custom_menu_move_current()
/external/chromium/chrome/browser/ui/gtk/bookmarks/
Dbookmark_menu_controller_gtk.cc223 GtkMenuShell* menu_shell = GTK_MENU_SHELL(sender); in OnMenuButtonPressedOrReleased() local
226 if (menu_shell->parent_menu_shell) { in OnMenuButtonPressedOrReleased()
227 return OnMenuButtonPressedOrReleased(menu_shell->parent_menu_shell, in OnMenuButtonPressedOrReleased()
243 GtkWidget* menu_item = menu_shell->active_menu_item; in OnMenuButtonPressedOrReleased()