Add the label size option

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)