buffer4          1136 src/filemanager/filegui.c         char buffer4[BUF_TINY];
buffer4          1148 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1149 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s %s (%s)"), buffer2, buffer3, buffer4);
buffer4          1158 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1159 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s (%s)"), buffer2, buffer4);