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