menuitem_highlight_callback 3360 src/gtkutil.c                            G_CALLBACK (menuitem_highlight_callback),
menuitem_highlight_callback 3364 src/gtkutil.c                            G_CALLBACK (menuitem_highlight_callback),