diff options
| author | Jules Aguillon | 2021-04-13 02:00:08 +0200 |
|---|---|---|
| committer | Jules Aguillon | 2021-04-13 02:00:08 +0200 |
| commit | eac74d3f2283ec9f36e595261ab21716d910c15a (patch) | |
| tree | 12adc9bf71a1306249919372202af5fdd3596ea5 /res/xml/settings.xml | |
| parent | 0b1befcc8802331b15389509e77f723d992861ee (diff) | |
| download | unexpected-keyboard-eac74d3f2283ec9f36e595261ab21716d910c15a.tar.gz unexpected-keyboard-eac74d3f2283ec9f36e595261ab21716d910c15a.zip | |
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.
Diffstat (limited to 'res/xml/settings.xml')
| -rw-r--r-- | res/xml/settings.xml | 6 |
1 files changed, 6 insertions, 0 deletions
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 |