From e309b76c0a8cb4c322b5fa902a080e19c2fe1f08 Mon Sep 17 00:00:00 2001 From: bokidori <176586502+bokidori@users.noreply.github.com> Date: Sat, 21 Sep 2024 23:30:01 +0200 Subject: [PATCH] Increase default label size (#747) Change default label size to 1.15 --- res/xml/settings.xml | 2 +- srcs/juloo.keyboard2/Config.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/res/xml/settings.xml b/res/xml/settings.xml index c6c553a..c6a0c51 100644 --- a/res/xml/settings.xml +++ b/res/xml/settings.xml @@ -45,7 +45,7 @@ - + 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);