job_but          1286 src/filemanager/boxes.c     job_but[] =
job_but          1297 src/filemanager/boxes.c     const size_t n_but = G_N_ELEMENTS (job_but);
job_but          1308 src/filemanager/boxes.c         job_but[i].name = _(job_but[i].name);
job_but          1311 src/filemanager/boxes.c         job_but[i].len = str_term_width1 (job_but[i].name) + 3;
job_but          1312 src/filemanager/boxes.c         if (job_but[i].flags == DEFPUSH_BUTTON)
job_but          1313 src/filemanager/boxes.c             job_but[i].len += 2;
job_but          1314 src/filemanager/boxes.c         x += job_but[i].len;
job_but          1333 src/filemanager/boxes.c         group_add_widget (g, button_new (lines - 3, x, job_but[i].value, job_but[i].flags,
job_but          1334 src/filemanager/boxes.c                                          job_but[i].name, job_but[i].callback));
job_but          1335 src/filemanager/boxes.c         x += job_but[i].len + 1;