file_frmt_time    369 src/filemanager/filegui.c         file_frmt_time (_fmt_buff, eta_secs);
file_frmt_time   1148 src/filemanager/filegui.c         file_frmt_time (buffer2,