diff options
| author | bokidori | 2024-09-21 23:30:01 +0200 |
|---|---|---|
| committer | GitHub | 2024-09-21 23:30:01 +0200 |
| commit | e309b76c0a8cb4c322b5fa902a080e19c2fe1f08 (patch) | |
| tree | 8106de03d10a7955a9483016e5b33077064fd7fe /srcs/juloo.keyboard2/Config.java | |
| parent | 4d686a88366584f2dae1d572bc52df275f42a275 (diff) | |
| download | unexpected-keyboard-e309b76c0a8cb4c322b5fa902a080e19c2fe1f08.tar.gz unexpected-keyboard-e309b76c0a8cb4c322b5fa902a080e19c2fe1f08.zip | |
Increase default label size (#747)
Change default label size to 1.15
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -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 f605381..5e60815 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -175,7 +175,7 @@ public final class Config get_dip_pref_oriented(dm, "horizontal_margin", 3, 28); double_tap_lock_shift = _prefs.getBoolean("lock_double_tap", false); characterSize = - _prefs.getFloat("character_size", 1.f) + _prefs.getFloat("character_size", 1.15f) * characterSizeScale; theme = getThemeId(res, _prefs.getString("theme", "")); autocapitalisation = _prefs.getBoolean("autocapitalisation", true); |