diff options
| author | Ricky Kresslein <rk@lakoliu.com> | 2023-06-02 12:00:59 +0200 |
|---|---|---|
| committer | Ricky Kresslein <rk@lakoliu.com> | 2023-06-02 12:00:59 +0200 |
| commit | 432362b9c3c028d7525fec0bdfbd3660355ea894 (patch) | |
| tree | 27aabe6a4497c6cc535b92c65bff04d46d5add3c /src/settings_manager.rs | |
| parent | eda4e519c3c2f50f020cfab385a80abc790d9fbb (diff) | |
| download | Furtherance-432362b9c3c028d7525fec0bdfbd3660355ea894.tar.zst | |
#107: Fix pomodoro timer 1 minute off
Diffstat (limited to 'src/settings_manager.rs')
| -rw-r--r-- | src/settings_manager.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/settings_manager.rs b/src/settings_manager.rs index 18c341f..d50438e 100644 --- a/src/settings_manager.rs +++ b/src/settings_manager.rs @@ -47,3 +47,9 @@ pub fn get_string(key: &str) -> String { let settings = get_settings(); settings.string(key).to_string() } + +#[allow(dead_code)] +pub fn set_int(key: &str, val: i32) { + let settings = get_settings(); + _ = settings.set_int(key, val); +} |