Searched refs:menu_to_hex (Results 1 – 1 of 1) sorted by relevance
26540 void menu_to_hex(GtkMenuItem*, gpointer) { in menu_to_hex() function26625 if(displayed_printops.base != BASE_HEXADECIMAL) {MENU_ITEM(_("Hexadecimal"), menu_to_hex)} in update_mb_to_menu()