From eac74d3f2283ec9f36e595261ab21716d910c15a Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Tue, 13 Apr 2021 02:00:08 +0200
Subject: Add an option to toggle accent keys

These keys are not useful at all in English. A new option allows to hide
them, [false] by default.
---
 res/xml/settings.xml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'res/xml/settings.xml')

diff --git a/res/xml/settings.xml b/res/xml/settings.xml
index e25f185..a4cf7ff 100644
--- a/res/xml/settings.xml
+++ b/res/xml/settings.xml
@@ -9,6 +9,12 @@
 			android:entries="@array/pref_layout_entries"
 			android:entryValues="@array/pref_layout_values"
 		/>
+    <CheckBoxPreference
+      android:key="disable_accent_keys"
+      android:title="@string/pref_disable_accent_keys_title"
+      android:summary="@string/pref_disable_accent_keys_summary"
+      android:defaultValue="false"
+    />
 	</PreferenceCategory>
 	<PreferenceCategory android:title="@string/pref_category_typing">
 		<juloo.common.SlideBarPreference
-- 
cgit v1.2.3