file_frmt_time 361 src/filemanager/filegui.c file_frmt_time (_fmt_buff, eta_secs); file_frmt_time 1138 src/filemanager/filegui.c file_frmt_time (buffer2,