diff options
| author | Joris | 2022-02-13 12:29:16 +0100 |
|---|---|---|
| committer | Joris | 2022-02-13 12:29:16 +0100 |
| commit | 4ff3fa15967d989658804b94e1ce035dfd3e5a5c (patch) | |
| tree | e739ea42cdedbdc317311671647394ec7bddaae3 | |
| parent | 8a29f30fb2a949c03b318c4f7699136a8001be37 (diff) | |
Modify synchronizing message
| -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), |