From df8e7a01e0e69c2a8463a27096d4d3c33b1f6b46 Mon Sep 17 00:00:00 2001 From: Matej Drobnič Date: Mon, 29 Sep 2025 00:56:23 +0200 Subject: Make history duration configurable (#1074) --- srcs/juloo.keyboard2/Config.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'srcs/juloo.keyboard2/Config.java') diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index dbdd877..b3eadf5 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -70,6 +70,7 @@ public final class Config public boolean borderConfig; public int circle_sensitivity; public boolean clipboard_history_enabled; + public int clipboard_history_duration; // Dynamically set public boolean shouldOfferVoiceTyping; @@ -181,6 +182,7 @@ public final class Config current_layout_wide = _prefs.getInt("current_layout_landscape", 0); circle_sensitivity = Integer.valueOf(_prefs.getString("circle_sensitivity", "2")); clipboard_history_enabled = _prefs.getBoolean("clipboard_history_enabled", false); + clipboard_history_duration = Integer.parseInt(_prefs.getString("clipboard_history_duration", "5")); float screen_width_dp = dm.widthPixels / dm.density; wide_screen = screen_width_dp >= WIDE_DEVICE_THRESHOLD; -- cgit v1.2.3