job_but          1266 src/filemanager/boxes.c     job_but[] =
job_but          1277 src/filemanager/boxes.c     const size_t n_but = G_N_ELEMENTS (job_but);
job_but          1288 src/filemanager/boxes.c         job_but[i].name = _(job_but[i].name);
job_but          1291 src/filemanager/boxes.c         job_but[i].len = str_term_width1 (job_but[i].name) + 3;
job_but          1292 src/filemanager/boxes.c         if (job_but[i].flags == DEFPUSH_BUTTON)
job_but          1293 src/filemanager/boxes.c             job_but[i].len += 2;
job_but          1294 src/filemanager/boxes.c         x += job_but[i].len;
job_but          1313 src/filemanager/boxes.c         group_add_widget (g, button_new (lines - 3, x, job_but[i].value, job_but[i].flags,
job_but          1314 src/filemanager/boxes.c                                          job_but[i].name, job_but[i].callback));
job_but          1315 src/filemanager/boxes.c         x += job_but[i].len + 1;