job_but          1274 src/filemanager/boxes.c     job_but[] =
job_but          1285 src/filemanager/boxes.c     const size_t n_but = G_N_ELEMENTS (job_but);
job_but          1296 src/filemanager/boxes.c         job_but[i].name = _(job_but[i].name);
job_but          1299 src/filemanager/boxes.c         job_but[i].len = str_term_width1 (job_but[i].name) + 3;
job_but          1300 src/filemanager/boxes.c         if (job_but[i].flags == DEFPUSH_BUTTON)
job_but          1301 src/filemanager/boxes.c             job_but[i].len += 2;
job_but          1302 src/filemanager/boxes.c         x += job_but[i].len;
job_but          1321 src/filemanager/boxes.c         group_add_widget (g, button_new (lines - 3, x, job_but[i].value, job_but[i].flags,
job_but          1322 src/filemanager/boxes.c                                          job_but[i].name, job_but[i].callback));
job_but          1323 src/filemanager/boxes.c         x += job_but[i].len + 1;