diff options
| author | Joris | 2022-02-13 12:17:00 +0100 |
|---|---|---|
| committer | Joris | 2022-02-13 12:17:00 +0100 |
| commit | 8a29f30fb2a949c03b318c4f7699136a8001be37 (patch) | |
| tree | 51decc33aa776201bc800dc2196bc4f8b72337d7 /src/space_repetition.rs | |
| parent | 8170fb5e432cc81986479a6a3a400e009426d76a (diff) | |
Synchronize deck only if necessary
Look at the modification time of the deck, and synchronize if it has
been modified after the last deck read.
Diffstat (limited to 'src/space_repetition.rs')
| -rw-r--r-- | src/space_repetition.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/space_repetition.rs b/src/space_repetition.rs index 25cae7f..e2ab382 100644 --- a/src/space_repetition.rs +++ b/src/space_repetition.rs @@ -6,8 +6,8 @@ use serde::{Deserialize, Serialize}; // Learning const LEARNING_INTERVALS: [f32; 2] = [ - 1.0 / 60.0 / 24.0, // 1 minute - 10.0 / 60.0 / 24.0, // 10 minutes + 1.0 / 60.0 / 24.0, // 1 minute (in days) + 10.0 / 60.0 / 24.0, // 10 minutes (in days) ]; // Ease @@ -30,7 +30,7 @@ const INTERVAL_EASY_MUL: f32 = 1.3; // Relearning const RELEARNING_INTERVALS: [f32; 1] = [ - 10.0 / 60.0 / 24.0, // 10 minutes + 10.0 / 60.0 / 24.0, // 10 minutes (in days) ]; #[derive(Debug, PartialEq, Deserialize, Serialize)] |