total_files_processed_label  224 src/filemanager/filegui.c     WLabel *total_files_processed_label;
total_files_processed_label  895 src/filemanager/filegui.c             ui->total_files_processed_label = label_new (y++, x, NULL);
total_files_processed_label  896 src/filemanager/filegui.c             group_add_widget (g, ui->total_files_processed_label);
total_files_processed_label  907 src/filemanager/filegui.c         ui->total_files_processed_label = label_new (y++, x, NULL);
total_files_processed_label  908 src/filemanager/filegui.c         group_add_widget (g, ui->total_files_processed_label);
total_files_processed_label 1041 src/filemanager/filegui.c     if (ui->total_files_processed_label == NULL)
total_files_processed_label 1045 src/filemanager/filegui.c         label_set_textv (ui->total_files_processed_label, _("Files processed: %zu / %zu"), done,
total_files_processed_label 1048 src/filemanager/filegui.c         label_set_textv (ui->total_files_processed_label, _("Files processed: %zu"), done);