diff options
author | Akshay <nerdy@peppe.rs> | 2020-08-10 13:19:16 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-10 13:19:16 +0000 |
commit | dc059e850cb6fb68d0a981dbdc5e1c096fbc6018 (patch) | |
tree | 71d29cc39d2ac8f6bbc7d86152239d09e86e7deb | |
parent | cdfe5719dc0bcc7a83ca014483b87c3d134e4679 (diff) | |
parent | 62158c5f142a1838b030c0583c9467a3cb46358b (diff) |
Merge pull request #22 from charles-l/master
Prevent Ctrl-C from losing data when closing dijo
-rw-r--r-- | src/main.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.rs b/src/main.rs index 56c521d..5280b35 100644 --- a/src/main.rs +++ b/src/main.rs @@ -84,5 +84,7 @@ fn main() { s.set_theme(theme::theme_gen()); s.run(); + + s.call_on_name("Main", |app: &mut App| app.save_state()); } } |