diff options
| -rw-r--r-- | src/gui/gui.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/gui.rs b/src/gui/gui.rs index 2379cfb..92b1a72 100644 --- a/src/gui/gui.rs +++ b/src/gui/gui.rs @@ -28,7 +28,7 @@ pub fn synchronize( let must_synchronize = last_deck_read.map(|r| r < last_modified).unwrap_or(true); if must_synchronize { - let _ = message::show(term, events, &deck_name, "Synchronization du deck", false); + let _ = message::show(term, events, &deck_name, "Synchronization du deck…", false); time::wait_at_least( || db::synchronize(&conn, deck::read(&deck_path)?), Duration::from_secs(1), |