From 432362b9c3c028d7525fec0bdfbd3660355ea894 Mon Sep 17 00:00:00 2001 From: Ricky Kresslein Date: Fri, 2 Jun 2023 12:00:59 +0200 Subject: #107: Fix pomodoro timer 1 minute off --- src/settings_manager.rs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/settings_manager.rs') 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); +} -- cgit 1.4.1