pause_options_num  540 src/filemanager/boxes.c     int pause_options_num;
pause_options_num  542 src/filemanager/boxes.c     pause_options_num = G_N_ELEMENTS (pause_options);
pause_options_num  567 src/filemanager/boxes.c                     QUICK_RADIO (pause_options_num, pause_options, &pause_after_run, NULL),