buffer4          1119 src/filemanager/filegui.c         char buffer4[BUF_TINY];
buffer4          1131 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1132 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _ ("Time: %s %s (%s)"), buffer2, buffer3, buffer4);
buffer4          1141 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1142 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _ ("Time: %s (%s)"), buffer2, buffer4);