diff options
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index 779e2c5..f2b010a 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -24,6 +24,7 @@ class Config public float horizontalMargin; public boolean disableAccentKeys; public boolean preciseRepeat; + public float characterSize; // Ratio public boolean shouldOfferSwitchingToNextInputMethod; @@ -48,6 +49,7 @@ class Config horizontalMargin = res.getDimension(R.dimen.horizontal_margin); disableAccentKeys = false; preciseRepeat = true; + characterSize = 1.f; // from prefs refresh(); // initialized later @@ -71,6 +73,7 @@ class Config horizontalMargin = getDipPref(prefs, "horizontal_margin", horizontalMargin); disableAccentKeys = prefs.getBoolean("disable_accent_keys", disableAccentKeys); preciseRepeat = prefs.getBoolean("precise_repeat", preciseRepeat); + characterSize = prefs.getFloat("character_size", characterSize); } private float getDipPref(SharedPreferences prefs, String pref_name, float def) |