FILEOP_UPDATE_INTERVAL_US  833 src/filemanager/file.c     else if (tv_current - tv_start > FILEOP_UPDATE_INTERVAL_US)
FILEOP_UPDATE_INTERVAL_US 2787 src/filemanager/file.c             if (is_first_time || usecs > FILEOP_UPDATE_INTERVAL_US)
FILEOP_UPDATE_INTERVAL_US 2798 src/filemanager/file.c                 const gboolean force_update = total_usecs > FILEOP_UPDATE_INTERVAL_US;