src_file_label    212 src/filemanager/filegui.c     WLabel *src_file_label;
src_file_label    912 src/filemanager/filegui.c         ui->src_file_label = label_new (y++, x, NULL);
src_file_label    913 src/filemanager/filegui.c         group_add_widget (g, ui->src_file_label);
src_file_label   1194 src/filemanager/filegui.c         label_set_text (ui->src_file_label, _("Source"));
src_file_label   1199 src/filemanager/filegui.c         label_set_text (ui->src_file_label, NULL);
src_file_label   1251 src/filemanager/filegui.c         if (ui->src_file_label != NULL)
src_file_label   1252 src/filemanager/filegui.c             label_set_text (ui->src_file_label, _("Deleting"));