file_frmt_time    368 src/filemanager/filegui.c         file_frmt_time (_fmt_buff, eta_secs);
file_frmt_time   1140 src/filemanager/filegui.c         file_frmt_time (buffer2,