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