From 1eea9e25d25afa04f0f98618df07820d27c8fe2e Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Sun, 6 Aug 2023 16:58:44 +0200 Subject: Remove the Accents option This option makes less sense since per-script extra keys. It's also getting in the way of an eventual "dead-key or accented-letters" option. --- srcs/juloo.keyboard2/Config.java | 2 -- 1 file changed, 2 deletions(-) (limited to 'srcs/juloo.keyboard2/Config.java') diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index 53bd2d2..8a81556 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -49,7 +49,6 @@ final class Config public int keyActivatedOpacity; // 0 - 255 public boolean double_tap_lock_shift; public float characterSize; // Ratio - public int accents; // Values are R.values.pref_accents_v_* public int theme; // Values are R.style.* public boolean autocapitalisation; public boolean switch_input_immediate; @@ -153,7 +152,6 @@ final class Config characterSize = _prefs.getFloat("character_size", 1.f) * characterSizeScale; - accents = Integer.valueOf(_prefs.getString("accents", "1")); theme = getThemeId(res, _prefs.getString("theme", "")); autocapitalisation = _prefs.getBoolean("autocapitalisation", true); switch_input_immediate = _prefs.getBoolean("switch_input_immediate", false); -- cgit v1.2.3