Searched refs:gui_configuration_index (Results 1 – 1 of 1) sorted by relevance
87 static int gui_configuration_index = 0; variable94 gui_configuration_index = new_index; in set_gui_configuration_index()101 return gui_configuration_index; in get_gui_configuration_index()432 printf("Showing configuration #%d\n", gui_configuration_index); in gtk_update_configuration()438 temporary_configuration[gui_configuration_index].individual_config[player_index], in gtk_update_configuration()