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