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