* keyboard.c (menu_bar_items, menu_bar_item, read_key_sequence):