file_frmt_time    362 src/filemanager/filegui.c     file_frmt_time (_fmt_buff, eta_secs);
file_frmt_time   1063 src/filemanager/filegui.c         file_frmt_time (buffer2, tv_current.tv_sec - tctx->transfer_start.tv_sec);