file_frmt_time    358 src/filemanager/filegui.c         file_frmt_time (_fmt_buff, eta_secs);
file_frmt_time   1126 src/filemanager/filegui.c         file_frmt_time (buffer2,