diff options
| author | Jules Aguillon | 2021-04-13 02:00:08 +0200 |
|---|---|---|
| committer | Jules Aguillon | 2021-04-13 02:00:08 +0200 |
| commit | eac74d3f2283ec9f36e595261ab21716d910c15a (patch) | |
| tree | 12adc9bf71a1306249919372202af5fdd3596ea5 /srcs/juloo.keyboard2/Config.java | |
| parent | 0b1befcc8802331b15389509e77f723d992861ee (diff) | |
| download | unexpected-keyboard-eac74d3f2283ec9f36e595261ab21716d910c15a.tar.gz unexpected-keyboard-eac74d3f2283ec9f36e595261ab21716d910c15a.zip | |
Add an option to toggle accent keys
These keys are not useful at all in English. A new option allows to hide
them, [false] by default.
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index baecc1b..20e0311 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -9,7 +9,6 @@ class Config { private Keyboard2 _context; - public final float marginTop; public final float keyPadding; public final float keyBgPadding; @@ -23,6 +22,7 @@ class Config public float marginBottom; public float keyHeight; public float horizontalMargin; + public boolean disableAccentKeys; public Config(Keyboard2 context) { @@ -43,6 +43,7 @@ class Config marginBottom = res.getDimension(R.dimen.margin_bottom); keyHeight = res.getDimension(R.dimen.key_height); horizontalMargin = res.getDimension(R.dimen.horizontal_margin); + disableAccentKeys = false; // from prefs refresh(); } @@ -62,6 +63,7 @@ class Config marginBottom = getDipPref(prefs, "margin_bottom", marginBottom); keyHeight = getDipPref(prefs, "key_height", keyHeight); horizontalMargin = getDipPref(prefs, "horizontal_margin", horizontalMargin); + disableAccentKeys = prefs.getBoolean("disable_accent_keys", disableAccentKeys); } private float getDipPref(SharedPreferences prefs, String pref_name, float def) |