HomeSort by relevance Sort by last modified time
    Searched full:empty_menu (Results 1 - 3 of 3) sorted by null

  /external/chromium/chrome/browser/ui/gtk/bookmarks/
bookmark_menu_controller_gtk.cc 205 GtkWidget* empty_menu = gtk_menu_item_new_with_label( local
207 gtk_widget_set_sensitive(empty_menu, FALSE);
209 gtk_menu_shell_append(GTK_MENU_SHELL(menu), empty_menu); local
  /external/chromium_org/chrome/browser/ui/gtk/bookmarks/
bookmark_menu_controller_gtk.cc 206 GtkWidget* empty_menu = gtk_menu_item_new_with_label( local
208 gtk_widget_set_sensitive(empty_menu, FALSE);
210 gtk_menu_shell_append(GTK_MENU_SHELL(menu), empty_menu); local
  /packages/apps/Browser/src/com/android/browser/
Controller.java 127 private static final int EMPTY_MENU = -1;
180 private int mOldMenuState = EMPTY_MENU;
    [all...]

Completed in 89 milliseconds