diff options
| author | Matej Drobnič | 2025-09-29 00:56:23 +0200 |
|---|---|---|
| committer | GitHub | 2025-09-29 00:56:23 +0200 |
| commit | df8e7a01e0e69c2a8463a27096d4d3c33b1f6b46 (patch) | |
| tree | 354034f08133fa4aa6073ba386258b408e2bd046 /srcs/juloo.keyboard2/Config.java | |
| parent | 7fdf63b930e51a06011ce911cf87a03c41b8334d (diff) | |
| download | unexpected-keyboard-df8e7a01e0e69c2a8463a27096d4d3c33b1f6b46.tar.gz unexpected-keyboard-df8e7a01e0e69c2a8463a27096d4d3c33b1f6b46.zip | |
Make history duration configurable (#1074)
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 2 |
1 files changed, 2 insertions, 0 deletions
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; |