_fmt_buff         352 src/filemanager/filegui.c     char _fmt_buff[BUF_TINY];
_fmt_buff         362 src/filemanager/filegui.c     file_frmt_time (_fmt_buff, eta_secs);
_fmt_buff         363 src/filemanager/filegui.c     g_snprintf (buffer, BUF_TINY, _("ETA %s"), _fmt_buff);