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 | |
| 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')
| -rw-r--r-- | res/values/strings.xml | 2 | ||||
| -rw-r--r-- | res/xml/settings.xml | 6 |
2 files changed, 8 insertions, 0 deletions
diff --git a/res/values/strings.xml b/res/values/strings.xml index 0d2adeb..db45f85 100644 --- a/res/values/strings.xml +++ b/res/values/strings.xml @@ -34,4 +34,6 @@ <string name="pref_key_height_summary">%sdp</string> <string name="pref_horizontal_margin_title">Horizontal margin</string> <string name="pref_horizontal_margin_summary">%sdp</string> + <string name="pref_disable_accent_keys_title">Toggle accent keys</string> + <string name="pref_disable_accent_keys_summary">Whether to remove the accent keys from the keyboard.</string> </resources> 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 |