Searched refs:ok_button_was_pressed (Results 1 – 1 of 1) sorted by relevance
182 int ok_button_was_pressed = FALSE; in do_graphical_number_selection_in_range() local217 while (!ok_button_was_pressed && !escape_button_was_pressed) { in do_graphical_number_selection_in_range()263 ok_button_was_pressed = TRUE; in do_graphical_number_selection_in_range()289 ok_button_was_pressed = TRUE; in do_graphical_number_selection_in_range()