diff options
| author | Jules Aguillon | 2024-12-06 00:10:05 +0100 |
|---|---|---|
| committer | Jules Aguillon | 2024-12-06 00:10:05 +0100 |
| commit | dc922b02581e51c7bf6b063342111e4f9d98859e (patch) | |
| tree | d7fb27248fb384f3e9abbf527e14b0a161f26b92 /srcs/juloo.keyboard2/Config.java | |
| parent | 91751afec840b3062ddd2074edab9792fbf43e4b (diff) | |
| download | unexpected-keyboard-dc922b02581e51c7bf6b063342111e4f9d98859e.tar.gz unexpected-keyboard-dc922b02581e51c7bf6b063342111e4f9d98859e.zip | |
Persist state of clipboard history checkbox
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index bb79bb8..321ed9c 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -207,6 +207,12 @@ public final class Config e.apply(); } + public void set_clipboard_history_enabled(boolean e) + { + clipboard_history_enabled = e; + _prefs.edit().putBoolean("clipboard_history_enabled", e).commit(); + } + KeyValue action_key() { // Update the name to avoid caching in KeyModifier |