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,