buffer4 1124 src/filemanager/filegui.c char buffer4[BUF_TINY]; 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 (%s)"), buffer2, buffer3, buffer4); buffer4 1146 src/filemanager/filegui.c file_bps_prepare_for_show (buffer4, ctx->total_bps); buffer4 1147 src/filemanager/filegui.c label_set_textv (ui->time_label, _ ("Time: %s (%s)"), buffer2, buffer4);