buffer4          1138 src/filemanager/filegui.c         char buffer4[BUF_TINY];
buffer4          1150 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1151 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _ ("Time: %s %s (%s)"), buffer2, buffer3, buffer4);
buffer4          1160 src/filemanager/filegui.c                 file_bps_prepare_for_show (buffer4, ctx->total_bps);
buffer4          1161 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _ ("Time: %s (%s)"), buffer2, buffer4);