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