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