diff options
| author | Jules Aguillon | 2023-08-16 18:18:38 +0200 |
|---|---|---|
| committer | Jules Aguillon | 2023-08-16 18:25:20 +0200 |
| commit | 2dc0ce066d44196e91e27db47e496b870e21b0dd (patch) | |
| tree | 5e9fcc8c044af046229b0b792533062e4a1e841e | |
| parent | ab05d8314b476dd0ef2258078738576945f6f90a (diff) | |
| download | unexpected-keyboard-2dc0ce066d44196e91e27db47e496b870e21b0dd.tar.gz unexpected-keyboard-2dc0ce066d44196e91e27db47e496b870e21b0dd.zip | |
Fix inconsistent initial spacing between keys
Settings defined with `get_dip_pref` had a wrong default value on first
launch.
The "right" default value was used after the shared preferences are
populated.
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index fdc7730..05a7632 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -295,7 +295,7 @@ final class Config try { value = _prefs.getInt(pref_name, -1); } catch (Exception e) { value = _prefs.getFloat(pref_name, -1f); } if (value < 0f) - return (def); + value = def; return (TypedValue.applyDimension(TypedValue.COMPLEX_UNIT_DIP, value, dm)); } |