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