From 9bb2642e2cfa0c46b99bdd7bde8feb158c0d9082 Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Sat, 24 Apr 2021 23:22:25 +0200
Subject: Add the label size option

---
 srcs/juloo.keyboard2/Config.java | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'srcs/juloo.keyboard2/Config.java')

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)
-- 
cgit v1.2.3