file_frmt_time    364 src/filemanager/filegui.c     file_frmt_time (_fmt_buff, eta_secs);
file_frmt_time   1091 src/filemanager/filegui.c         file_frmt_time (buffer2, (tv_current - tctx->transfer_start) / G_USEC_PER_SEC);