menu_highlight_callback  454 src/pgtkmenu.c 				 G_CALLBACK (menu_highlight_callback));
menu_highlight_callback  462 src/pgtkmenu.c 			    G_CALLBACK (menu_highlight_callback));
menu_highlight_callback  546 src/pgtkmenu.c 			   G_CALLBACK (menu_highlight_callback));
menu_highlight_callback 1165 src/xmenu.c                                     G_CALLBACK (menu_highlight_callback));
menu_highlight_callback 1173 src/xmenu.c                                G_CALLBACK (menu_highlight_callback));
menu_highlight_callback 1207 src/xmenu.c    					 menu_highlight_callback);
menu_highlight_callback 1522 src/xmenu.c                               G_CALLBACK (menu_highlight_callback));
menu_highlight_callback 1754 src/xmenu.c                               menu_highlight_callback);