From f659f2903d7dde2bc3b76e9709750523b119200d Mon Sep 17 00:00:00 2001 From: Emil Ernerfeldt Date: Sun, 19 Jul 2020 00:16:24 +0200 Subject: [PATCH] [web] fix auto-save --- egui_web/src/lib.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/egui_web/src/lib.rs b/egui_web/src/lib.rs index 4a69d2b5..7843e65b 100644 --- a/egui_web/src/lib.rs +++ b/egui_web/src/lib.rs @@ -102,7 +102,7 @@ impl Backend { pub fn auto_save(&mut self) { let now = now_sec(); - let time_since_last_save = now - self.last_save_time.unwrap_or(now); + let time_since_last_save = now - self.last_save_time.unwrap_or(std::f64::NEG_INFINITY); const AUTO_SAVE_INTERVAL: f64 = 5.0; if time_since_last_save > AUTO_SAVE_INTERVAL { self.last_save_time = Some(now);