Searched refs:set_gui_configuration_index (Results 1 – 3 of 3) sorted by relevance
22 void set_gui_configuration_index(int new_index);
363 set_gui_configuration_index(index); in on_spinbutton_configuration_value_changed()
92 void set_gui_configuration_index(int new_index) in set_gui_configuration_index() function