From 5dec9c12154b6eec752c9fa88fde0b392b78db61 Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Tue, 20 Apr 2021 00:34:21 +0200
Subject: Add a setting for precise repeat

---
 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 366cc0c..779e2c5 100644
--- a/srcs/juloo.keyboard2/Config.java
+++ b/srcs/juloo.keyboard2/Config.java
@@ -23,6 +23,7 @@ class Config
 	public float				keyHeight;
 	public float				horizontalMargin;
   public boolean      disableAccentKeys;
+  public boolean preciseRepeat;
 
   public boolean shouldOfferSwitchingToNextInputMethod;
 
@@ -46,6 +47,7 @@ class Config
 		keyHeight = res.getDimension(R.dimen.key_height);
 		horizontalMargin = res.getDimension(R.dimen.horizontal_margin);
     disableAccentKeys = false;
+    preciseRepeat = true;
 		// from prefs
 		refresh();
     // initialized later
@@ -68,6 +70,7 @@ class Config
 		keyHeight = getDipPref(prefs, "key_height", keyHeight);
 		horizontalMargin = getDipPref(prefs, "horizontal_margin", horizontalMargin);
     disableAccentKeys = prefs.getBoolean("disable_accent_keys", disableAccentKeys);
+    preciseRepeat = prefs.getBoolean("precise_repeat", preciseRepeat);
 	}
 
 	private float		getDipPref(SharedPreferences prefs, String pref_name, float def)
-- 
cgit v1.2.3