time_label        224 src/filemanager/filegui.c     WLabel *time_label;
time_label        960 src/filemanager/filegui.c             ui->time_label = label_new (y++, x, NULL);
time_label        961 src/filemanager/filegui.c             group_add_widget (g, ui->time_label);
time_label       1144 src/filemanager/filegui.c     if (ui->time_label != NULL)
time_label       1155 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s %s"), buffer2, buffer3);
time_label       1159 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s %s (%s)"), buffer2, buffer3, buffer4);
time_label       1165 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s"), buffer2);
time_label       1169 src/filemanager/filegui.c                 label_set_textv (ui->time_label, _("Time: %s (%s)"), buffer2, buffer4);