emacs_menu_bar_get_preferred_width   80 src/gtkutil.c  static void emacs_menu_bar_get_preferred_width (GtkWidget *, gint *, gint *);
emacs_menu_bar_get_preferred_width  162 src/gtkutil.c    widget_class->get_preferred_width = emacs_menu_bar_get_preferred_width;