diff options
author | Akshay <[email protected]> | 2020-08-10 14:19:16 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-08-10 14:19:16 +0100 |
commit | dc059e850cb6fb68d0a981dbdc5e1c096fbc6018 (patch) | |
tree | 71d29cc39d2ac8f6bbc7d86152239d09e86e7deb /src/main.rs | |
parent | cdfe5719dc0bcc7a83ca014483b87c3d134e4679 (diff) | |
parent | 62158c5f142a1838b030c0583c9467a3cb46358b (diff) |
Merge pull request #22 from charles-l/master
Prevent Ctrl-C from losing data when closing dijo
Diffstat (limited to 'src/main.rs')
-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() { | |||
84 | 84 | ||
85 | s.set_theme(theme::theme_gen()); | 85 | s.set_theme(theme::theme_gen()); |
86 | s.run(); | 86 | s.run(); |
87 | |||
88 | s.call_on_name("Main", |app: &mut App| app.save_state()); | ||
87 | } | 89 | } |
88 | } | 90 | } |