Add the label size option

2 files changed, 4 insertions, 1 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)
diff --git a/srcs/juloo.keyboard2/Keyboard2View.java b/srcs/juloo.keyboard2/Keyboard2View.java
index 3903b7b..7b3495f 100644
--- a/srcs/juloo.keyboard2/Keyboard2View.java
+++ b/srcs/juloo.keyboard2/Keyboard2View.java
@@ -78,7 +78,7 @@ public class Keyboard2View extends View
 	{
     Paint paint = new Paint(Paint.ANTI_ALIAS_FLAG);
     paint.setTextAlign(align);
-    paint.setTextSize(getResources().getDimension(size));
+    paint.setTextSize(getResources().getDimension(size) * _config.characterSize);
     if (font != null)
       paint.setTypeface(font);
 		return (paint);