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