pause_options_num 552 src/filemanager/boxes.c const int pause_options_num = G_N_ELEMENTS (pause_options); pause_options_num 577 src/filemanager/boxes.c QUICK_RADIO (pause_options_num, pause_options, &pause_after_run, NULL),