file_frmt_time 360 src/filemanager/filegui.c file_frmt_time (_fmt_buff, eta_secs); file_frmt_time 1132 src/filemanager/filegui.c file_frmt_time (buffer2,