(update_menu_bar): New arg save_match_data. Maybe save and restore match data here.
Attach a file by drag & drop or click to upload